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

Llm services improvement #24

Closed khram2003 closed 5 months ago