lean4
| Date | Project Name | 🎉 | ? | Tags |
|---|---|---|---|---|
| 09/18 |
Lean 4 Game v4.23.0
* [Lean 4 Game v4.23.0](https://github.com/leanprover-community/lean4game) – Platform for hosting and creating interactive Lean-based games.
Platform for hosting and creating interactive Lean-based games.
|
7
|
TypeScript 317 ⭐1066 days old |
typescript react lean4 |