Proves stuff. Chief Scientist and Co-Founder at Proofcraft
-
Proofcraft
- Sydney, Australia
- https://doclsf.de
- https://orcid.org/0000-0001-8883-0559
- @lsf37@mstdn.social
Block or Report
Block or report lsf37
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Isabelle.tmbundle
Isabelle.tmbundle PublicTextMate syntax highlighting for the Isabelle theorem prover
-
jflex-de/jflex
jflex-de/jflex PublicThe fast scanner generator for Java™ with full Unicode support
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.