Skip to content

Readme updates for default proof mode Manual and typos#808

Merged
rtetley merged 1 commit intocoq:mainfrom Durbatuluk1701:mainJun 28, 2024

Commits

Commits on Jun 27, 2024