Proof v8.0.0-alpha.8

Pre-release

Pre-release

bigeasy released this 11 Oct 03:34

· 79 commits to master since this release

proof-v8.0.0-alpha.8

1bda420

Create Markdown readme with badges. Closes #437.
Tidy .gitignore. Closes #436.

Closes #439.

Assets 2