-
mathlib4 Public
Forked from leanprover-community/mathlib4(My fork of) The math library of Lean 4
-
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
-
bazel-skylib-fork Public
Forked from bazelbuild/bazel-skylibCommon useful functions and rules for Bazel (my fork for contributions)
Starlark Apache License 2.0 UpdatedSep 1, 2026 -
LeanOpenProblems Public
Forked from epoch-research/LeanOpenProblemsLean MIT License UpdatedAug 23, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
cadical Public
Forked from arminbiere/cadicalCaDiCaL SAT Solver
C++ MIT License UpdatedAug 13, 2026 -
connectedhomeip Public
Forked from project-chip/connectedhomeipMatter (formerly Project CHIP) creates more connections between more objects, simplifying development for manufacturers and increasing compatibility for consumers, guided by the Connectivity Standa…
C++ Apache License 2.0 UpdatedJul 22, 2026 -
rules_cc Public
Forked from bazelbuild/rules_ccC++ Rules for Bazel
Starlark Apache License 2.0 UpdatedJul 20, 2026 -
osv-schema Public
Forked from ossf/osv-schemaOpen Source Vulnerability schema.
Go Apache License 2.0 UpdatedMay 27, 2026 -
-
LeanLJ Public
Forked from ATOMSLab/LeanLJLennard Jones in Lean
Lean Apache License 2.0 UpdatedMay 21, 2026 -
kraken-fork Public
Forked from AeneasVerif/krakenx64 semantics in Lean
Lean MIT License UpdatedMay 19, 2026 -
numba Public
Forked from numba/numbaNumPy aware dynamic Python compiler using LLVM
-
SafeVerify Public
Forked from GasStationManager/SafeVerifyA Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions
Lean Apache License 2.0 UpdatedApr 22, 2026 -
loogle Public
Forked from nomeata/loogleMathlib search tool
Lean Apache License 2.0 UpdatedApr 16, 2026 -
formal-conjectures-fork Public
Forked from google-deepmind/formal-conjecturestesting fork...
Lean Apache License 2.0 UpdatedApr 14, 2026 -
-
subprocess-tee Public
Forked from pycontribs/subprocess-teeA subprocess.run drop-in replacement that supports a tee mode, being able to display output in real time while still capturing it. No dependencies needed
Python MIT License UpdatedMar 11, 2026 -
Pantograph-fork Public
Forked from leanprover/Pantograph(Mirror) A Machine-to-Machine Interaction System for Lean 4
Lean Apache License 2.0 UpdatedFeb 3, 2026 -
md4lean Public
Forked from acmepjz/md4leana Lean wrapper for the MD4C Markdown parser
C MIT License UpdatedJan 30, 2026 -
Solving the* Navier Stokes Millenium problem in Lean
Lean Apache License 2.0 UpdatedJan 3, 2026 -
PutnamBench Public
Forked from trishullab/PutnamBenchAn evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
-
llvmlite Public
Forked from numba/llvmliteA lightweight LLVM python binding for writing JIT compilers
Python BSD 2-Clause "Simplified" License UpdatedOct 6, 2025 -
lean-matrix-cookbook Public
The matrix cookbook, proved in the Lean theorem prover
-
-
mathematics_in_lean_source Public
Forked from avigad/mathematics_in_lean_sourceSource code for the Mathematics in Lean tutorial.
-
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
C++ Other UpdatedAug 14, 2025 -
-
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedJul 23, 2025 -
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
Lean Apache License 2.0 UpdatedJul 22, 2025
{{ message }}