jaalonso/Lecturas_GLC

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

Size: 6.06 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 75 - Forks: 8

Julian/lean.nvim

Neovim support for the Lean theorem prover

Language: Lua - Size: 1.91 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 345 - Forks: 31

forked-from-1kasper/ground_zero

Ground Zero: Lean 4 HoTT Library

Language: Lean - Size: 3.56 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 57 - Forks: 1

Julian/rpylean

A Lean (4) type checker written in RPython

Language: Python - Size: 2.37 MB - Last synced at: 8 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 1

b-mehta/topos

Topos theory in lean

Language: Lean - Size: 3.39 MB - Last synced at: 8 days ago - Pushed at: over 4 years ago - Stars: 59 - Forks: 2

jaalonso/Logica_con_Lean

Introducción a la lógica con Lean.

Language: Lean - Size: 11.8 MB - Last synced at: 25 days ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1

pitmonticone/LeanInVienna2024

Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.

Language: Lean - Size: 1.58 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2

gihanmarasingha/miu_language

A decision procedure for the formal system MIU, written in Lean 3.18.4

Language: Lean - Size: 123 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0

forked-from-1kasper/lean4-categories

Playing with Category Theory in Lean 4

Language: Lean - Size: 57.6 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 0

bhgomes/jensen

a Lean implementation of Jensen's Inequality

Language: Lean - Size: 101 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

jaalonso/Matematicas_en_Lean

Matemáticas en Lean

Language: Lean - Size: 354 KB - Last synced at: 25 days ago - Pushed at: almost 2 years ago - Stars: 4 - Forks: 1

fischerman/GPU-transformation-verifier

MCL kernel verification library

Language: Lean - Size: 21.9 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

jaalonso/DAO_con_Lean

DAO (Demostración Asistida por Ordenador) con Lean

Language: Lean - Size: 1.92 MB - Last synced at: 25 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

jaalonso/Razonando-con-Lean

Elaboración de demostraciones con Lean.

Language: Lean - Size: 43 KB - Last synced at: 25 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

forked-from-1kasper/leanbot

IRC-bot written in Lean (https://leanprover.github.io/)

Language: Lean - Size: 71.3 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 11 - Forks: 0

jjaassoonn/transcendental

Language: HTML - Size: 4.72 MB - Last synced at: 26 days ago - Pushed at: over 4 years ago - Stars: 6 - Forks: 1

minhnhdo/programming-language-foundations-in-lean

Programming language foundations in Lean

Language: Lean - Size: 118 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

mjendrusch/monoidal-categories-reboot

monoidal categories in the Lean theorem prover

Language: Lean - Size: 43.9 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 4