An independent Lean 4 kernel in Java. Re-checks lean4export proofs from scratch, regenerating every recursor. No dependencies.
Java Updated 19 days ago 1 commits
zenith-bot|Mirror: keithadler/tenet-jvm (⭐0)
19 days agoAbout
An independent Lean 4 kernel in Java. Re-checks lean4export proofs from scratch, regenerating every recursor. No dependencies.
Readme