Quiver is a Lean 4 game about Category Theory, inspired by Natural Number Game 4.
The goal is to learn category theory by writing mathlib-style proofs, directly in Lean, with an emphasis on structure, universality, and categorical thinking.
generated from hhu-adam/GameSkeleton
-
Notifications
You must be signed in to change notification settings - Fork 0
A web based game about Category Theory written in Lean 4
License
SuccessMoses/quiver
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A web based game about Category Theory written in Lean 4
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published