leanprover

There are 16 repositories under leanprover topic.

Julian/lean.nvim
neovim support for the Lean theorem prover
Language:Lua226 9 16723
jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
62 12 18
b-mehta/topos
Topos theory in lean
Language:Lean52 9 312
forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
Language:Lean38 3 01
forked-from-1kasper/lean4-categories
Category Theory & Cobordism Categories in Lean 4
Language:Lean14 2 00
forked-from-1kasper/leanbot
IRC-bot written in Lean (https://leanprover.github.io/)
Language:Lean11 2 00
gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
Language:Lean8 1 00
jjaassoonn/transcendental
Language:HTML6 2 01
fischerman/GPU-transformation-verifier
MCL kernel verification library
Language:Lean4 4 00
jaalonso/Logica_con_Lean
Introducción a la lógica con Lean.
Language:Lean4 1 01
jaalonso/Matematicas_en_Lean
Matemáticas en Lean
Language:Lean4 1 01
mjendrusch/monoidal-categories-reboot
monoidal categories in the Lean theorem prover
Language:Lean2 3 04
bhgomes/jensen
a Lean implementation of Jensen's Inequality
Language:Lean1 1 01
jaalonso/Razonando-con-Lean
Elaboración de demostraciones con Lean.
Language:Lean1 2 0
minhnhdo/programming-language-foundations-in-lean
Programming language foundations in Lean
Language:Lean1 2 0
jaalonso/DAO_con_Lean
DAO (Demostración Asistida por Ordenador) con Lean
Language:Lean1 0