jjaassoonn

transcendental

flat

Equivalent definitions of flatness

GAGA

(Attempt of) Formalising the GAGA theorem

advent_of_code_2023_in_lean4

cc

Čech cohomology on topological space

FLT

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

lean-shannon-lovasz

A project to formalise a proof that the Shannon capacity of the 5-cycle is √5

lean2md

twist

Definition of Serre's twisting sheaf (work in progress)

DimensionTheory

etale_sheafification

formalising-mathematics-2023

repository for material for Jan-Mar 2023 course on formalising mathematics

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.

icms-conference.github.io

The web presence of the ICMS conference series

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mathzoo

Lean mathzoo

Meeowth

neuralart

An implementation of the paper 'A Neural Algorithm of Artistic Style'.

PrimeNumberTheoremAnd

blueprint for prime number theorem and more

proj_paper

proj_talk

projective_space

quasicoherent

regular_sequences

sheaf_of_modules

snake-lemma

Lean mathematical components library

summary_gaga

sympy

A computer algebra system written in pure Python

tcc-lean-alg-geom-2022

Experiments in algebraic geometry as part of the EPSRC Taught Course Centre course on formalising number theory and geometry

vc

valuative criterion