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

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.

jjaassoonn.github.io

lean-shannon-lovasz

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

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'.

proj_paper

proj_talk

projective_space

quasicoherent

regular_sequences

ReMeeowthCore

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