Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
ArithEx New contribution on Karatsuba's multiplication algorithm from Russell… Dec 27, 2005
Karatsuba Adapting to Coq 8.8. Oct 21, 2018
NArithEx Adapting to Coq 8.8. Oct 21, 2018
Order Backporting r1236 from v8.3 to trunk (update after import of coercions Jul 26, 2010
TacticEx Fix after d5656a6 Mar 8, 2016
common Adapting to Coq 8.8. Oct 21, 2018
Make CLEANUP: "Make" file Mar 16, 2016
Makefile Makefile: no more message about a Circular Make <- Makefile.coq depen… Jun 24, 2016
description fix keywords syntax Apr 29, 2015