Pinned Repositories
advent_of_code_2023_in_lean4
cc
Čech cohomology on topological space
flat
Equivalent definitions of flatness
FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
GAGA
(Attempt of) Formalising the GAGA theorem
lean-shannon-lovasz
A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
lean2md
spacemacs
Emacs advanced Kit focused on Evil: The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
transcendental
twist
Definition of Serre's twisting sheaf (work in progress)
jjaassoonn's Repositories
jjaassoonn/transcendental
jjaassoonn/flat
Equivalent definitions of flatness
jjaassoonn/GAGA
(Attempt of) Formalising the GAGA theorem
jjaassoonn/advent_of_code_2023_in_lean4
jjaassoonn/cc
Čech cohomology on topological space
jjaassoonn/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
jjaassoonn/lean-shannon-lovasz
A project to formalise a proof that the Shannon capacity of the 5-cycle is √5
jjaassoonn/lean2md
jjaassoonn/twist
Definition of Serre's twisting sheaf (work in progress)
jjaassoonn/DimensionTheory
jjaassoonn/etale_sheafification
jjaassoonn/formalising-mathematics-2023
repository for material for Jan-Mar 2023 course on formalising mathematics
jjaassoonn/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
jjaassoonn/jjaassoonn.github.io
jjaassoonn/icms-conference.github.io
The web presence of the ICMS conference series
jjaassoonn/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
jjaassoonn/mathzoo
Lean mathzoo
jjaassoonn/Meeowth
jjaassoonn/neuralart
An implementation of the paper 'A Neural Algorithm of Artistic Style'.
jjaassoonn/proj_paper
jjaassoonn/proj_talk
jjaassoonn/projective_space
jjaassoonn/quasicoherent
jjaassoonn/regular_sequences
jjaassoonn/sheaf_of_modules
jjaassoonn/snake-lemma
Lean mathematical components library
jjaassoonn/summary_gaga
jjaassoonn/sympy
A computer algebra system written in pure Python
jjaassoonn/tcc-lean-alg-geom-2022
Experiments in algebraic geometry as part of the EPSRC Taught Course Centre course on formalising number theory and geometry
jjaassoonn/vc
valuative criterion