Server to host lean games.
0
0
GNU General Public License v3.0
lean4game is a server platform for hosting interactive Lean games, designed to make learning and practicing formal proofs engaging through structured tutorials and challenges. It's primarily intended for educators, students, and mathematicians who want to teach or learn Lean theorem proving in a game-like, step-by-step environment.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies
Support the repos that depend on this repository
Top contributors
joneugster
655 contributions
abentkamp
318 contributions
matlorr
81 contributions
TentativeConvert
18 contributions
Wzixiao
16 contributions
pitmonticone
14 contributions
chabulhwi
6 contributions
Geoc2022
4 contributions
hydrogenbear
3 contributions
kbuzzard
3 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet
