|
.build.yml
|
fix tests
|
2020-06-04 05:32:49 -05:00 |
|
.gitignore
|
fix tests
|
2020-06-04 04:22:37 -05:00 |
|
Auto.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
AutoTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Basics.v
|
complete basics
|
2020-06-04 00:02:38 -05:00 |
|
BasicsTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Bib.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
BibTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Extraction.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ExtractionTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Imp.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ImpCEvalFun.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ImpCEvalFunTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ImpParser.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ImpParserTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ImpTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
IndPrinciples.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
IndPrinciplesTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
IndProp.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
IndPropTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Induction.v
|
fix tests
|
2020-06-04 04:22:37 -05:00 |
|
InductionTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Lists.v
|
some induction + lists
|
2020-06-04 04:16:57 -05:00 |
|
ListsTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Logic.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
LogicTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Makefile
|
fix tests
|
2020-06-04 04:22:37 -05:00 |
|
Makefile.conf
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Maps.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
MapsTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Poly.v
|
Poly.v
|
2020-06-04 05:32:54 -05:00 |
|
PolyTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Postscript.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
PostscriptTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Preface.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
PrefaceTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ProofObjects.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
ProofObjectsTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Rel.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
RelTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
Tactics.v
|
wip tactics
|
2020-06-04 07:22:09 -05:00 |
|
TacticsTest.v
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
_CoqProject
|
some induction + lists
|
2020-06-04 04:16:57 -05:00 |
|
imp.ml
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
imp.mli
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
imp1.ml
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
imp1.mli
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
imp2.ml
|
initial
|
2020-06-03 21:46:06 -05:00 |
|
imp2.mli
|
initial
|
2020-06-03 21:46:06 -05:00 |
Michael Zhang
5440b4b482
