Skip to main content

Browse the archive

Revision c05e6b091715c47fe119691fc5d4dfed759cb380 authored by Arvid Jakobsson on 09 October 2020, 16:44:52 UTC, committed by Arvid Jakobsson on 10 October 2020, 13:56:02 UTC 
[mi-cho-coq] add compare_gt_lt to comparable.v
1 parent bc20d90
Raw File
coq-mi-cho-coq.install 
bin: [
  "src/michocoq/extraction/_build/michocoq.native" {"michocoq"}
]
back to top