-
-
-
-
-
-
leanprover-contrib Public
Forked from leanprover-contrib/leanprover-contribPython UpdatedFeb 5, 2022 -
topos Public
Topos theory in lean
-
-
lftcm2020 Public
Forked from leanprover-community/lftcm2020Lean for the Curious Mathematician 2020
Lean UpdatedJul 15, 2020 -
Example-Lean-Projects Public
Forked from ImperialCollegeLondon/Example-Lean-ProjectsSome examples of Lean projects, for undergraduate mathematicians.
Lean UpdatedJun 28, 2020 -
sphere-eversion Public
Forked from leanprover-community/sphere-eversionFormalization of the existence of sphere eversions
TeX UpdatedJun 26, 2020 -
UniMath Public
Forked from UniMath/UniMathThis coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq Other UpdatedMay 21, 2020 -
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 UpdatedMay 19, 2020 -
mathlib Public
Forked from leanprover-community/mathlib3Lean mathematical components library
Lean Apache License 2.0 UpdatedApr 15, 2020 -
vscode-lean Public
Forked from leanprover/vscode-leanAn extension for VS Code which provides support for the Lean language.
TypeScript Apache License 2.0 UpdatedApr 5, 2020 -
pytorch-i-revnet Public
Forked from jhjacobsen/pytorch-i-revneti-RevNet Pytorch Code
Python MIT License UpdatedFeb 28, 2020 -
arithmoi Public
Forked from Bodigrim/arithmoiarithmoi is currently maintained here
Haskell MIT License UpdatedJan 14, 2020 -
-
-
natural_number_game Public
Forked from ImperialCollegeLondon/natural_number_gameBuilding the natural numbers in Lean.
Lean UpdatedNov 13, 2019 -
-
-
TeXnique Public
Forked from akshayravikumar/TeXniqueA LaTeX Typesetting Game
JavaScript UpdatedAug 26, 2019 -
-
-
-
incredible Public
Forked from nomeata/incredibleThe Incredible Proof Machine
Haskell MIT License UpdatedApr 10, 2019 -
haskell Public
Forked from exercism/haskellExercism exercises in Haskell.
Haskell MIT License UpdatedMar 13, 2019 -
website-copy Public
Forked from exercism/website-copyA repository for exercism's website's copy
HTML UpdatedMar 4, 2019 -
{{ message }}