GitHunt

Thomas Browning

tb65536

Languages

Lean60%Java40%

Repos

7

Stars

2

Forks

1

Top Language

Lean

Loading contributions...

Top Repositories

ParabolicDoubleCosets
2Java
ExponentialRamsey
0
modularreptheory

Modular Representation Theory in Lean

0Lean
formalising-mathematics-notes

Course notes for Formalising Mathematics 2026

0Lean
FLT

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

0
mathlib4

The math library of Lean 4

0Lean

Repositories

7
TB
tb65536/ExponentialRamseyFork

No description provided.

00Updated 5 days ago
TB
tb65536/modularreptheory

Modular Representation Theory in Lean

Lean00Updated 1 week ago
TB
tb65536/formalising-mathematics-notesFork

Course notes for Formalising Mathematics 2026

Lean00Updated 1 month ago
TB
tb65536/FLTFork

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

00Updated 2 months ago
TB
tb65536/ParabolicDoubleCosets

No description provided.

Java20Updated 5 years ago
TB
tb65536/mathlib4Fork

The math library of Lean 4

Lean00Updated 1 day ago
TB
tb65536/AWS

No description provided.

Java01Updated 2 years ago

Gists

Recent Activity

Thomas Browning (tb65536) | GitHunt