-
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedDec 30, 2025 -
community Public
Forked from talonhub/communityVoice command set for Talon, community-supported.
Python MIT License UpdatedDec 27, 2025 -
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
Lean Apache License 2.0 UpdatedDec 11, 2025 -
formal-conjectures Public
Forked from google-deepmind/formal-conjecturesA collection of formalized statements of conjectures in Lean.
Lean Apache License 2.0 UpdatedDec 10, 2025 -
-
FRISoundness Public
A LeanBlueprint Project to track a proof of the soundness of FRI
-
-
-
-
leanroadmap Public
Forked from ReamLabs/leanroadmapTrack Beam Chain research progress across all workstreams
TypeScript MIT License UpdatedAug 13, 2025 -
VCV-io Public
Forked from Verified-zkEVM/VCV-ioFormalized Cryptography Proofs in Lean 4
Lean Apache License 2.0 UpdatedAug 9, 2025 -
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedAug 5, 2025 -
talon-ai-tools Public
Forked from C-Loftus/talon-ai-toolsQuery LLMs and AI tools with voice commands
Python MIT License UpdatedAug 1, 2025 -
lean-tactic-programming-guide Public
Forked from mirefek/lean-tactic-programming-guideBeginner's guide to Tactic Programming in Lean
Lean Apache License 2.0 UpdatedJul 26, 2025 -
kimina-lean-server Public
Forked from project-numina/kimina-lean-serverKimina Lean server (+ client SDK)
Python MIT License UpdatedJul 24, 2025 -
llmlean Public
Forked from cmu-l3/llmleanLLMs + Lean, on your laptop or in the cloud
Lean MIT License UpdatedJul 14, 2025 -
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 UpdatedJun 26, 2025 -
leanprover-community-blog Public
Forked from leanprover-community/blogSource for the community blog
Python UpdatedJun 26, 2025 -
Lean-QuantumInfo Public
Forked from Timeroot/Lean-QuantumInfoQuantum information theory in Lean 4
Lean MIT License UpdatedJun 11, 2025 -
-
ZKLib Public
Forked from Verified-zkEVM/ArkLibFormally Verified SNARKs in Lean
Lean Apache License 2.0 UpdatedApr 16, 2025 -
annotation-guidelines Public
Forked from project-numina/annotation-guidelinesLean UpdatedApr 15, 2025 -
carleson Public
Forked from fpvandoorn/carlesonA formalized proof of Carleson's theorem in Lean
Lean Apache License 2.0 UpdatedFeb 2, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJan 28, 2025 -
-
formal-snarks-project Public
A formal verification of Linear PCP SNARKs.
-
qtee Public
Forked from sbellem/qteeExploring the physical limits of trusted hardware in the classical and quantum settings to achieve security through physics.
GNU General Public License v3.0 UpdatedJun 12, 2024 -
-
CvxLean Public
Forked from verified-optimization/CvxLeanConvex optimization modeling in Lean 4
Lean Apache License 2.0 UpdatedMay 31, 2024
{{ message }}