Skip to content
Snippets Groups Projects
Robbert Krebbers's avatar
Robbert Krebbers authored
Fix finite map notations for Coq < 8.13

See merge request !237
b2c5f1fe
History
Name Last commit Last update