co-dan/niels-HITs-coq
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
several HITs
1 commit 1 branch 0 tags 28 KiB
  • Rocq Prover 100%
Find a file
Exact
Dan Frumin 3cb6ba4e7d Initial import
2017-04-19 20:54:15 +02:00
arith.v Initial import 2017-04-19 20:54:15 +02:00
HitTactics.v Initial import 2017-04-19 20:54:15 +02:00
mod.v Initial import 2017-04-19 20:54:15 +02:00