b-mehta/maths-notes b-mehta/maths-notes

  • Stars
    star
    57
  • Rank 508,205 (Top 11 %)
  • Language
    TeX
  • Created over 6 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
b-mehta/maths-notes
github

b-mehta

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Lecture notes from Cambridge maths

More Repositories

1

topos

Topos theory in lean
Lean
50
star
2

combinatorics

Lean
19
star
3

unit-fractions

Lean
14
star
4

exponential-ramsey

Lean
11
star
5

floods

Haskell implementation of Flood-It
Haskell
2
star
6

sunflower

Lean
2
star
7

robot-one

Haskell
2
star
8

mandelbrot

Haskell
1
star
9

cellular-automata

Haskell
1
star
10

advent2018

Solutions to advent of code 2018
Haskell
1
star
11

ExponentialRamsey

Lean
1
star
12

regularity-lemma

Code accompanying submission to ITP 2022
Lean
1
star