Pinned Repositories
mmj2
mmj2 GUI Proof Assistant for the Metamath project
automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
jn1z.github.io
lean
Lean Theorem Prover
mmj2
mmj2 GUI Proof Assistant for the Metamath project
NFA-experiments
Experimental work with NFAs
Walnut
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
jn1z's Repositories
jn1z/automatalib
A free, open-source Java library for modeling automata, graphs, and transition systems
jn1z/jn1z.github.io
jn1z/lean
Lean Theorem Prover
jn1z/mmj2
mmj2 GUI Proof Assistant for the Metamath project
jn1z/NFA-experiments
Experimental work with NFAs
jn1z/Walnut