-
ArkLib Public
Forked from Verified-zkEVM/ArkLibFormally Verified Arguments of Knowledge in Lean
Lean Apache License 2.0 UpdatedApr 5, 2026 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedApr 4, 2026 -
VCV-io Public
Forked from Verified-zkEVM/VCV-ioFormalized Cryptography Proofs in Lean 4
Lean Apache License 2.0 UpdatedApr 3, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMar 30, 2026 -
LeanCamCombi Public
Forked from YaelDillies/cam-combiFormalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Lean Apache License 2.0 UpdatedMar 29, 2026 -
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedMar 29, 2026
{{ message }}