Benchmarking system implemented

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

Closed K-dizzled closed 5 months ago

K-dizzled commented 5 months ago

Fixed bugs, implemented benchmarking system, for more see changelog on v2.1.0