b-mehta

b-mehta's Stars

• b-mehta/unit-fractions

  Language:Lean142

• Smaug123/CubicalTutorial

  Tutorial for Cubical mode in Agda

  Language:Agda3

• t-veor/hypervis

  A silly 4D physics simulation.

  Language:Rust413

• b-mehta/topos

  Topos theory in lean

  Language:Lean552

• b-mehta/maths-notes

  Lecture notes from Cambridge maths

  Language:TeX6118

• homotopy-io/homotopy-webclient

  Language:JavaScript275

• EdAyers/Robotone

  The 'Robot' theorem prover. Fork of github.com/mg262/research

  Language:Haskell133

• benclifford/acme-smuggler

  Smuggle arbitrary values in ()

  Language:Haskell12