Pinned Repositories
advent2018
Solutions to advent of code 2018
cellular-automata
combinatorics
exponential-ramsey
floods
Haskell implementation of Flood-It
maths-notes
Lecture notes from Cambridge maths
robot-one
sunflower
topos
Topos theory in lean
unit-fractions
b-mehta's Repositories
b-mehta/maths-notes
Lecture notes from Cambridge maths
b-mehta/topos
Topos theory in lean
b-mehta/combinatorics
b-mehta/unit-fractions
b-mehta/exponential-ramsey
b-mehta/sunflower
b-mehta/ExponentialRamsey
b-mehta/regularity-lemma
Code accompanying submission to ITP 2022
b-mehta/arithmoi
arithmoi is currently maintained here
b-mehta/carleson
A formalized proof of Carleson's theorem in Lean
b-mehta/config
Personal config files
b-mehta/entity-linking
b-mehta/Example-Lean-Projects
Some examples of Lean projects, for undergraduate mathematicians.
b-mehta/generating-functions
playing with generating functions in Lean
b-mehta/human_oriented_atp
b-mehta/lean-experiments
b-mehta/lean4
Lean 4 programming language and theorem prover
b-mehta/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
b-mehta/leanprover-contrib
b-mehta/lftcm2020
Lean for the Curious Mathematician 2020
b-mehta/linear-base
Standard library for linear types in Haskell.
b-mehta/mathlib
Lean mathematical components library
b-mehta/maze
b-mehta/natural_number_game
Building the natural numbers in Lean.
b-mehta/pytorch-i-revnet
i-RevNet Pytorch Code
b-mehta/sharkovsky
b-mehta/sphere-eversion
Formalization of the existence of sphere eversions
b-mehta/std4
Standard Library for Lean 4
b-mehta/UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
b-mehta/vscode-lean
An extension for VS Code which provides support for the Lean language.