lean4 topic

List lean4 repositories

quote4

65
Stars
10
Forks
Watchers

Intuitive, type-safe expression quotations for Lean 4.

verified publisher icon leanprover-community

math2001

141
Stars
52
Forks
Watchers

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

verified publisher icon hrmacbeth

tba-2021

50
Stars
2
Forks
Watchers

Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition

verified publisher icon IPDSnelting

lean4-balance-car

41
Stars
9
Forks
Watchers

Lean4 port of Arduino balance car controller

verified publisher icon GaloisInc

verbose-lean4

40
Stars
5
Forks
Watchers

Natural language tactics to teach mathematics using Lean 4

verified publisher icon PatrickMassot

lean-llvm

30
Stars
1
Forks
Watchers

LLVM support for the lean theorem prover

verified publisher icon GaloisInc

LeanColls

29
Stars
7
Forks
Watchers

WIP collections library for Lean 4

verified publisher icon JamesGallicchio

c0deine

25
Stars
0
Forks
Watchers

Reference compiler for c0

verified publisher icon T-Brick

Wasm.lean

24
Stars
2
Forks
Watchers

A WebAssembly implementation in Lean4

verified publisher icon lurk-lab

proven-zk

24
Stars
3
Forks
Watchers

A support library for working with zero knowledge cryptography in Lean 4.

verified publisher icon reilabs