Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Stars
53
Forks
2
Watchers
Open Issues
46
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
599
commits
1
Merge remote-tracking branch 'origin/8.9.1'
75e9327
Update deps to 8.9.1
8dd1448
Update specialization.mli
b104eac
Update specialization.ml
c27859c
Update PUMPKIN Pi
73fd77b
update fix-to-elim
7ec6a5d
Update lib
7616d53
Merge pull request #85 from uwplse/hints
6ae006c
New hint interface.
10f21d6
typos in my pies
02b4563
pies
6cdadbf
Update implicit argument syntax
9063feb
update deps
4077efd
update lib in deps to fix decompiler bug
d34abea
reference -> qualid
c6c3f06