dan
/
HITs-Examples
mirror of https://github.com/nmvdw/HITs-Examples
1
0
Fork 0
Code Issues Releases Wiki Activity
HITs-Examples/_CoqProject

7 lines
91 B
Plaintext
Raw Permalink Blame History

-R . "" COQC = hoqc COQDEP = hoqdep
HitTactics.v
Mod2.v
FinSets.v
Expressions.v
Integers.v
Reference in New Issue View Git Blame Copy Permalink