serapi
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| [ANN] coq-lsp 0.1.9 |
|
0 | 181 | May 31, 2024 |
| [ANN] coq-lsp release 0.1.5 |
|
0 | 702 | February 15, 2023 |
| How to evaluate proof terms through opaque definitions? |
|
0 | 689 | May 30, 2022 |
| [ANN] PyCoq preview release |
|
0 | 647 | September 23, 2021 |
| Initial release of Roosterize, a tool for suggesting lemma names, for Coq 8.10 |
|
0 | 795 | July 3, 2020 |
| Initial release of machine learning dataset based on Mathematical Components 1.9.0 |
|
0 | 692 | July 3, 2020 |
| mCoq 1.0: mutation analysis for Coq 8.10 |
|
3 | 780 | February 13, 2020 |
| Best way to obtain constrs free from de Bruijn indices? |
|
4 | 883 | July 31, 2019 |
| jsCoq and SerAPI releases |
|
0 | 1032 | April 24, 2019 |