- Reykjavik, Iceland
-
infinity-cosmos Public
Forked from emilyriehl/infinity-cosmosA blueprint for a formalization of infinity-cosmos theory in Lean.
Lean Apache License 2.0 UpdatedSep 25, 2024 -
-
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 UpdatedJul 31, 2024 -
Poly Public
Forked from sinhp/PolyA Lean4 Formalization of Polynomial Functors
Lean UpdatedJun 14, 2024 -
FLT Public
Forked from ImperialCollegeLondon/FLTOngoing Lean formalisation of the proof of Fermat's Last Theorem
Lean Apache License 2.0 UpdatedJun 14, 2024 -
lean-solid Public
Forked from leanprover-community/lean-liquidSolid abelian groups in Lean
-
-
-
-
-
electrumx Public
Forked from kyuupichan/electrumxAlternative implementation of spesmilo/electrum-server
Python MIT License UpdatedJul 18, 2017