Automatically update Certora Docs from README
chandrakananandi
released this
22 Dec 14:11
·
19 commits
to master
since this release
Merge pull request #33 from Certora/fix_readme Fix readme