-
-
-
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedNov 28, 2024 -
icms-conference.github.io Public
Forked from ICMS-conference/icms-conference.github.ioThe web presence of the ICMS conference series
HTML UpdatedJul 23, 2024 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
-
flat Public archive
Equivalent definitions of flatness
-
GAGA Public
(Attempt of) Formalising the GAGA theorem
-
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
Lean Apache License 2.0 UpdatedJan 30, 2024 -
-
-
formalising-mathematics-2023 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2023repository for material for Jan-Mar 2023 course on formalising mathematics
Lean UpdatedFeb 17, 2023 -
-
-
-
tcc-lean-alg-geom-2022 Public
Forked from ImperialCollegeLondon/tcc-lean-alg-geom-2022Experiments in algebraic geometry as part of the EPSRC Taught Course Centre course on formalising number theory and geometry
Lean UpdatedDec 2, 2022 -
lean-shannon-lovasz Public
Forked from ocfnash/lean-shannon-lovaszA project to formalise a proof that the Shannon capacity of the 5-cycle is √5
-
-
-
twist Public
Definition of Serre's twisting sheaf (work in progress)
-
cc Public
Čech cohomology on topological space
-
mathzoo Public
Forked from leanprover-community/mathzooLean mathzoo
Lean Apache License 2.0 UpdatedMar 16, 2022 -
-
-
-
snake-lemma Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedDec 6, 2021 -
-
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedAug 20, 2020 -
neuralart Public
Forked from kaishengtai/neuralartAn implementation of the paper 'A Neural Algorithm of Artistic Style'.
Lua UpdatedSep 1, 2015 -
sympy Public
Forked from sympy/sympyA computer algebra system written in pure Python
Python Other UpdatedAug 29, 2015
{{ message }}