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 README with comments on how to use tactics from Tactitian or CoqHammer #31
Closed
K-dizzled closed 4 months ago