leanprover topic

List leanprover repositories

lean.nvim

210
Stars
23
Forks
Watchers

neovim support for the Lean theorem prover

verified publisher icon Julian

topos

51
Stars
2
Forks
Watchers

Topos theory in lean

verified publisher icon b-mehta

Lecturas_GLC

62
Stars
8
Forks
Watchers

Readings on computational logic, interactive theorem proving and functional programming.

verified publisher icon jaalonso

ground_zero

36
Stars
1
Forks
Watchers

Ground Zero: Lean 4 HoTT Library

verified publisher icon forked-from-1kasper