b-mehta

b-mehta's Stars

• b-mehta/maths-notes

  Lecture notes from Cambridge maths

  Language:TeX645218

• b-mehta/topos

  Topos theory in lean

  Language:Lean5710312

• t-veor/hypervis

  A silly 4D physics simulation.

  Language:Rust46453

• homotopy-io/homotopy-webclient

  Language:JavaScript2771155

• b-mehta/unit-fractions

  Language:Lean143162

• benclifford/acme-smuggler

  Smuggle arbitrary values in ()

  Language:Haskell12300

• EdAyers/Robotone

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

  Language:Haskell12513

• Smaug123/CubicalTutorial

  Tutorial for Cubical mode in Agda

  Language:Agda3300