Bhavik Mehta (@b-mehta)
github

b-mehta

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    169
  • Global Rank 140,557 (Top 5 %)
  • Followers 64
  • Following 7
  • Registered over 7 years ago
  • Most used languages
    Lean     50.0 %
    Haskell
         35.7 %
    TeX
         14.3 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 7,706
  • Country Ranking
    Lean     3
    TeX
         67
    Haskell
         293

Top repositories

1

maths-notes

Lecture notes from Cambridge maths
TeX
59
star
2

topos

Topos theory in lean
Lean
55
star
3

combinatorics

Lean
20
star
4

unit-fractions

Lean
14
star
5

exponential-ramsey

Lean
11
star
6

floods

Haskell implementation of Flood-It
Haskell
2
star
7

sunflower

Lean
2
star
8

robot-one

Haskell
2
star
9

mandelbrot

Haskell
1
star
10

cellular-automata

Haskell
1
star
11

advent2018

Solutions to advent of code 2018
Haskell
1
star
12

ExponentialRamsey

Lean
1
star
13

regularity-lemma

Code accompanying submission to ITP 2022
Lean
1
star
14

epfl-comb

EPFL Combinatorics Lean notes
TeX
1
star