-
smt-comp.github.io Public
Forked from SMT-COMP/smt-comp.github.ioHTML MIT License UpdatedJun 8, 2026 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedMay 28, 2026 -
lean_scout Public
Forked from mathlib-initiative/lean_scoutLean Apache License 2.0 UpdatedMay 28, 2026 -
curve25519-dalek-lean-verify Public
Forked from Beneficial-AI-Foundation/curve25519-dalek-lean-verifyVerifying curve25519-dalek using Lean
Lean Apache License 2.0 UpdatedMay 12, 2026 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedApr 24, 2026 -
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedApr 15, 2026 -
keepassxc-proxy-client Public
A client for keepassxc-proxy so passwords can easily be requested via CLI
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedFeb 17, 2026 -
-
-
nunchaku Public
Forked from nunchaku-inria/nunchakuModel finder for higher-order logic
OCaml BSD 2-Clause "Simplified" License UpdatedAug 12, 2025 -
-
-
mini-redis Public
An implementation of mini-redis in Lean 4
-
kodkod Public
Forked from emina/kodkodKodkod solver for relational logic
Java MIT License UpdatedJun 1, 2025 -
pfmt Public
A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
-
fil-rb Public
A Red-Black-Tree Formalisation for LMU's Formalisation in Lean 2024
-
-
-
-
wg Public
Forked from rust-embedded/wgCoordination repository of the embedded devices Working Group
UpdatedJul 31, 2024 -
lehmer-rs Public
An implementation of Lehmer RNGs for a university project.
Rust MIT License UpdatedJul 21, 2024 -
parse.lean-bench Public
Forked from algebraic-dev/parse-benchBenchmarkings for parse.lean using a simple subset of HTTP/1.1 with chunked encoding
Lean UpdatedJul 18, 2024 -
Cpa.lean Public
An implementation of Configurable Program Analysis in Lean for a university project
-
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 UpdatedApr 13, 2024 -
std4 Public
Forked from leanprover-community/batteriesStandard Library for Lean 4
Lean Apache License 2.0 UpdatedFeb 17, 2024 -
lean4-alloy Public
Forked from tydeu/lean4-alloyWrite C shims from within Lean code.
Lean Apache License 2.0 UpdatedFeb 15, 2024 -
LeanInk Public
Forked from leanprover/LeanInkLeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
{{ message }}