awefhio

Pinned Repositories

lean4game
Server to host lean games.
Language:TypeScript22040

awefhio's Repositories

awefhio/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTML