search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Readme updates for default proof mode Manual and typos #808

Closed Durbatuluk1701 closed 3 months ago

Durbatuluk1701 commented 3 months ago

Updating the README based upon the changes made in #788, as well as fixing some typos

rtetley commented 3 months ago

Thanks a lot !