issues
search
JetBrains-Research
/
coqpilot
VSCode extension that is designed to help automate writing of Coq proofs.
GNU Lesser General Public License v2.1
47
stars
2
forks
source link
Update benchmark branch
#17
Closed
GlebSolovev
closed
6 months ago
GlebSolovev
commented
6 months ago
Updated benchmark to v2.0.0 architecture
Implemented a new API to support benchmarking of the standalone projects