b-mehta's Stars
b-mehta/unit-fractions
Smaug123/CubicalTutorial
Tutorial for Cubical mode in Agda
t-veor/hypervis
A silly 4D physics simulation.
b-mehta/topos
Topos theory in lean
b-mehta/maths-notes
Lecture notes from Cambridge maths
homotopy-io/homotopy-webclient
EdAyers/Robotone
The 'Robot' theorem prover. Fork of github.com/mg262/research
benclifford/acme-smuggler
Smuggle arbitrary values in ()