Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with leanprover
A curated list of projects in awesome lists tagged with leanprover .
https://github.com/julian/lean.nvim
Neovim support for the Lean theorem prover
lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter
Last synced: 15 Dec 2024
https://github.com/Julian/lean.nvim
Neovim support for the Lean theorem prover
lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter
Last synced: 26 Oct 2024
https://github.com/jaalonso/lecturas_glc
Readings on computational logic, interactive theorem proving and functional programming.
coq functional-programming haskell isabelle-hol itp leanprover logic logic-programming prolog
Last synced: 18 Dec 2024
https://github.com/forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
ctt cubical-type-theory homotopy-type-theory hott lean lean4 leanprover math
Last synced: 10 Nov 2024
https://github.com/forked-from-1kasper/lean4-categories
Playing with Category Theory in Lean 4
category-theory lean lean4 leanprover mathematics
Last synced: 10 Nov 2024
https://github.com/forked-from-1kasper/leanbot
IRC-bot written in Lean (https://leanprover.github.io/)
Last synced: 10 Nov 2024
https://github.com/gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
decision-procedure lean leanprover miu
Last synced: 29 Nov 2024
https://github.com/jaalonso/logica_con_lean
Introducción a la lógica con Lean.
Last synced: 06 Dec 2024
https://github.com/jaalonso/matematicas_en_lean
Matemáticas en Lean
interactive-theorem-proving leanprover mathematics
Last synced: 06 Dec 2024
https://github.com/jaalonso/razonando-con-lean
Elaboración de demostraciones con Lean.
automated-theorem-proving leanprover mathematics proof-assistant
Last synced: 06 Dec 2024
https://github.com/bhgomes/jensen
a Lean implementation of Jensen's Inequality
jensen-inequality lean lean-theorem-prover leanprover
Last synced: 28 Nov 2024
https://github.com/jaalonso/dao_con_lean
DAO (Demostración Asistida por Ordenador) con Lean
interactive-theorem-proving leanprover logic mathematics theorem-proving
Last synced: 06 Dec 2024