jjaassoonn Goto Github PK

advent_of_code_2023_in_lean4

cc

Čech cohomology on topological space

dimensiontheory

etale_sheafification

flat

Equivalent definitions of flatness

flt

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

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.

gaga

(Attempt of) Formalising the GAGA theorem

icms-conference.github.io

The web presence of the ICMS conference series

jjaassoonn.github.io

lean-shannon-lovasz

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

lean2md

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

source-code-pro

Monospaced font family for user interface and coding environments

spacemacs

Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

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