-
lean4-logic2 Public
Forked from FormalizedFormalLogic/FoundationLean4 Logic Formalization
Lean UpdatedMar 5, 2024 -
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedMar 1, 2024 -
fp-lean Public
Forked from leanprover/fp-leanFunctional Programming in Lean
JavaScript Other UpdatedJan 29, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 18, 2024 -
leanprover.github.io Public
Forked from leanprover/leanprover.github.iowww
Lean MIT License UpdatedJan 6, 2024 -
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJan 5, 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 UpdatedDec 16, 2023 -
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedNov 28, 2023 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedNov 25, 2023 -
mathematics_in_lean Public
Forked from leanprover-community/mathematics_in_leanThe user home repository for the Mathematics in Lean tutorial.
HTML UpdatedNov 18, 2023 -
{{ message }}