The Refl Game
Browser proof game with Bend 2 levels alongside Agda and Lean 4; players complete proofs checked by the language toolchain.
The sources
Explore the original posts and links behind this build.
GitHubhttps://github.com/hhefesto/refl ↗Browser proof game with Bend 2 levels alongside Agda and Lean 4; players complete proofs checked by the language toolchain.
Explore the original posts and links behind this build.
GitHubhttps://github.com/hhefesto/refl ↗