|
[ANN] coq-lsp 0.1.9
|
|
0
|
203
|
May 31, 2024
|
|
[ANN] coq-lsp release 0.1.5
|
|
0
|
710
|
February 15, 2023
|
|
How to evaluate proof terms through opaque definitions?
|
|
0
|
702
|
May 30, 2022
|
|
[ANN] PyCoq preview release
|
|
0
|
664
|
September 23, 2021
|
|
Initial release of Roosterize, a tool for suggesting lemma names, for Coq 8.10
|
|
0
|
804
|
July 3, 2020
|
|
Initial release of machine learning dataset based on Mathematical Components 1.9.0
|
|
0
|
704
|
July 3, 2020
|
|
mCoq 1.0: mutation analysis for Coq 8.10
|
|
3
|
789
|
February 13, 2020
|
|
Best way to obtain constrs free from de Bruijn indices?
|
|
4
|
913
|
July 31, 2019
|
|
jsCoq and SerAPI releases
|
|
0
|
1046
|
April 24, 2019
|