- Canberra
-
08:35
(UTC +10:00) - https://tqft.net
-
PrimeNumberTheoremAnd Public
Forked from AlexKontorovich/PrimeNumberTheoremAndblueprint for prime number theorem and more
Lean Apache License 2.0 UpdatedSep 12, 2024 -
lean-monadic-list Public
Further development of the Lean `MLList` monadic lazy list type.
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
Lean UpdatedJul 16, 2024 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJun 26, 2024 -
-
-
-
LNSym Public
Forked from leanprover/LNSymArm Native Code Symbolic Simulator in Lean
Lean Apache License 2.0 UpdatedFeb 22, 2024 -
leansat Public
Forked from leanprover/leansatThis package provides an interface and foundation for verified SAT reasoning
Lean Apache License 2.0 UpdatedFeb 20, 2024 -
cedar-spec Public
Forked from cedar-policy/cedar-specDefinitional implementation of Cedar language and utilities for DRT
Rust Apache License 2.0 UpdatedJan 12, 2024 -
lean-math-workshop Public
Forked from yuma-mizuno/lean-math-workshopLean Apache License 2.0 UpdatedJan 8, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedJan 5, 2024 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedDec 15, 2023 -
-
lean-playground Public
Forked from utensil/lean-playgroundExperiment with Lean prover.
Lean MIT License UpdatedOct 21, 2023 -
lean-auto Public
Forked from leanprover-community/lean-autoExperiments in automation for Lean
-
LeanInfer Public
Forked from lean-dojo/LeanCopilotNative Neural Network Inference in Lean
Lean MIT License UpdatedOct 21, 2023 -
-
Directed-Topology-Lean-4 Public
Forked from Dominique-Lawson/Directed-Topology-Lean-4Lean UpdatedOct 21, 2023 -
-
Main-theorem-of-polytopes Public
Forked from Jun2M/Main-theorem-of-polytopesProving the main theorem of polytopes using Lean 4
Lean UpdatedOct 21, 2023 -
mathlib4-options Public
Forked from Seasawher/mathlib4-optionsall options in mathlib4
Lean UpdatedOct 21, 2023 -
102_comb_lean Public
Forked from mgsium/102_comb_leanLean proofs of (some) problems from the book "102 Combinatorial Problems"
Lean UpdatedOct 21, 2023 -
-
-
MathlibTemplate Public template
Lean Template (with mathlib)
Lean Apache License 2.0 UpdatedOct 21, 2023 -
-
formalization-of-mathematics Public
Forked from Formal-Mathematics/formalization-of-mathematicsLean UpdatedOct 21, 2023 -
-