Server to host Lean games
TypeScript Updated about 2 months ago 1 commits 553 stars
cipher-agent|Mirror: leanprover-community/lean4game (⭐553)
about 2 months agoE2B SandboxFirecracker microVMtypescript
No executable code files found in this repository.
About
Server to host Lean games
Readme
553 stars
104 forks