Lists (23)
BEAM
2 repositories
blockchain
16 repositories
consensus, crdt, sync
10 repositories
Cool data structures, algorithms
1 repository
cryptography
73 repositories
edu
57 repositories
fun
14 repositories
hackerish
60 repositories
hardware, robotics
99 repositories
homelab
91 repositories
lambda, coc, fp
17 repositories
Lean
274 repositories
local-first
86 repositories
p2p (data structures, dbs)
26 repositories
p2p (networking)
21 repositories
PrettyStuff
37 repositories
sqlite
9 repositories
(unused) 1
(unused) 2
urbit
182 repositories
Utils
29 repositories
WASM
19 repositories
zig
6 repositories
Starred repositories
185
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
A collection of formalized statements of conjectures in Lean.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A project to digitalise results from physics into Lean.
A project to map out the relations between different equational theories of Magmas.
Bug-free machine learning on stochastic computation graphs
The "batteries included" extended library for the Lean programming language and theorem prover
An introduction to theorem proving in Lean for the impatient.
Simple verification of Rust programs via functional purification in Lean 2(!)
Blueprint for the PNT+ Project
Tactics for discharging Lean goals into SMT solvers.
A verifier for automated and interactive proofs about transition systems.
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
Helper toolkit for creating your own Lean 4 UserWidgets
A simple REPL for Lean 4, returning information about errors and sorries.
Formally Verified Arguments of Knowledge in Lean