Proves stuff. Chief Scientist and Co-Founder at Proofcraft
-
Proofcraft
- Sydney, Australia
- https://doclsf.de
- https://orcid.org/0000-0001-8883-0559
- @[email protected]
Stars
The fast scanner generator for Java™ with full Unicode support
A static website compiler library in Haskell
git mirror of the Munich isabelle hg repository