Issues
- 1
failed tests and errors
#45 opened by jizej - 4
Segmentation Fault when loading 'coq/theories/Numbers/Cyclic/Int63/PrimInt63.v'
#35 opened by laetitia-teo - 1
Handling of last step
#28 opened by pcarrott - 0
Change index parameter in add_step
#27 opened by pcarrott - 1
tactics and theorems with the same name
#24 opened by Nfsaavedra - 5
ulimit command doesn't work on macos
#20 opened by CudraniaTrec - 0
Support for multiple Coq versions
#12 opened by Nfsaavedra - 0
Allow interaction with Coq files
#13 opened by Nfsaavedra - 0
Improve performance of ProofState
#17 opened by Nfsaavedra - 0
- 0
Support Anonymous Instances
#15 opened by Nfsaavedra - 0
- 0
Fix Module Types handling
#14 opened by Nfsaavedra - 0