Skip to content
Snippets Groups Projects
Select Git revision
  • 506d4ea960355f7b0344c9c0a25618f07f068398
  • public default protected
2 results

InR

Pierre Courtieu's avatar
Pierre Courtieu authored
coq 8.20 has a small regression with lia.
+ some small stdlib changes.
67c4a050
History