Lists (21)
consensus, crdt, sync
6 repositories
Cool data structures, algorithms
1 repository
Crypto algos, libs
51 repositories
edu
39 repositories
fun
6 repositories
hackerish
32 repositories
hardware
73 repositories
homelab
53 repositories
htmz
10 repositories
lambda, coc, fp
8 repositories
Lean
171 repositories
local-first
52 repositories
P2P Data structures, DBs
15 repositories
P2P Networking
11 repositories
PrettyStuff
32 repositories
Sol
6 repositories
sqlite
5 repositories
urbit
155 repositories
Utils
13 repositories
WASM
10 repositories
Zig
2 repositories
Starred repositories
125
stars
written in Lean
Clear filter
Lean 4 programming language and theorem prover
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A collection of formalized statements of conjectures in Lean.
A project to map out the relations between different equational theories of Magmas.
A project to digitalise results from physics into Lean.
Bug-free machine learning on stochastic computation graphs
The "batteries included" extended library for the Lean programming language and theorem prover
Simple verification of Rust programs via functional purification in Lean 2(!)
An introduction to theorem proving in Lean for the impatient.
Tactics for discharging Lean goals into SMT solvers.
blueprint for prime number theorem and more
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
A simple REPL for Lean 4, returning information about errors and sorries.
Helper toolkit for creating your own Lean 4 UserWidgets
Experiments on automation for Lean
Lean 4 kernel / 'external checker' written in Lean 4
Definitional implementation of Cedar language and utilities for DRT