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