Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Lean
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming.
- GitHub: https://github.com/topics/lean
- Wikipedia: https://en.wikipedia.org/wiki/Lean_(proof_assistant)
- Repo: https://github.com/leanprover/lean
- Created by: Leonardo de Moura
- Released: 2013
- Aliases: lean3, lean4, leanprover,
- Last updated: 2024-12-13 00:16:40 UTC
- JSON Representation
https://github.com/hanwenzhu/primality-tests
Miller–Rabin primality test in Lean
lean lean4 primality-test theorem-proving
Last synced: 29 Nov 2024
https://github.com/utensil/ginac-lean
A work-in-progress Lean 4 binding to GiNaC
Last synced: 29 Nov 2024
https://github.com/jphellemons/leancanvas
Webbased Lean Canvas
brainstorming canvas lean lean-startup lean-startups startup startup-template startups startupschool
Last synced: 17 Oct 2024
https://github.com/Seasawher/import-all
This script can check and auto-generate `import` statements in a lean4 repository.
Last synced: 29 Nov 2024
https://github.com/bryangingechen/lean-matroids
matroids in lean
formal-mathematics formal-proofs lean matroids theorem-proving
Last synced: 29 Nov 2024
https://github.com/hagb/lean-groebner
Lean4 formalization of Gröbner basis (WIP)
Last synced: 14 Nov 2024
https://github.com/marcusoftnet/marcusoftnet.github.io
My blog - www.marcusoft.net
agile bdd blog kanban lean node specification-by-example
Last synced: 15 Nov 2024
https://github.com/brendanzab/lean_tutorial_exercises
Answers to the exercises in the Lean tutorial
dependent-types exercise-solutions lean
Last synced: 19 Nov 2024
https://github.com/hargonix/crup
A Checker for RUP proofs written in Lean 4
Last synced: 19 Nov 2024
https://github.com/eric-wieser/mathlib-import-graph
An interactive viewer for the mathlib import graph
Last synced: 05 Dec 2024
https://github.com/jaalonso/calculemus2_es
Ejercicios de demostración con Lean4 e Isabelle/HOL.
lean lean4 maths proof-assistant
Last synced: 06 Dec 2024
https://github.com/horothesun/infra-cookiecutter-template
Bootstrap your Terraform AWS infrastructure.
aws bootstrap bootstrapping ci ci-cd cicd cookiecutter cookiecutter-template github-oidc iac infrastructure infrastructure-as-code initial-setup lean oidc oidc-provider template terraform terraform-aws terraforming
Last synced: 09 Nov 2024
https://github.com/pauliorandall/sveltekit-minimalist-template
A minimalist Sveltekit template with Prettier & P69. Made to be plundered.
lean minimal minimalist mit-license p69 prettier svelte sveltejs sveltekit template vite webapp website
Last synced: 09 Dec 2024
https://github.com/forked-from-1kasper/lambda
Untyped lambda calculus implemented in Lean
Last synced: 10 Nov 2024
https://github.com/spamegg1/spamegg1-lean
Working through Functional Programming in Lean
dependent-types formal-verification functional-programming lean lean4 math proofs
Last synced: 20 Dec 2024
https://github.com/szepeviktor/lean-filter
Adblock Plus filter
adblock filter lean ublock-origin
Last synced: 14 Nov 2024
https://github.com/shilangyu/formal-lang
A formal definition of a language accompanied by proofs of its properties.
formal-verification lean memory-safety programming-language-theory stainless
Last synced: 20 Nov 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/alexf91/ltest
A unit testing framework for Lean 4
lean lean4 unit-testing unittest
Last synced: 20 Dec 2024
https://github.com/spamegg1/spamegg1-thm-prov-lean4
Working through Theorem Proving in Lean4
dependent-types formal-verification interactive-proofs lean lean4 math proof theorem
Last synced: 20 Dec 2024
https://github.com/jaalonso/calculemus
Ejercicios de demostración con Lean e Isabelle/HOL.
Last synced: 06 Dec 2024
https://github.com/jaalonso/explorando-con-lean
Explorando formalizaciones con Lean
automated-reasoning interactive-theorem-proving lean math proof-assistant
Last synced: 06 Dec 2024
https://github.com/igreat/tiny-prover
A simple first order logic theorem prover using tableaux
binary-tree coq first-order-logic functional-programming lean logic propositional-logic tableau tableaux theorem-prover theorem-proving
Last synced: 19 Nov 2024
https://github.com/jroesch/lean.js
An example of using Lean's backend API to implement a new language backend.
compiler javascript lean programming-language
Last synced: 04 Dec 2024
https://github.com/brkas96/searching-and-sorting-programs
Programas de busca e sorting em python
algoritmos-de-ordenacao aprendizagem codes codigos estudo implementation lean learnpython python python3 searching sorting sorting-algorithms
Last synced: 16 Nov 2024
https://github.com/jaalonso/jaalonso.github.io
Índice de repositorios.
coq functional-programming haskell isabelle lean logic-programming prolog proof-assistant
Last synced: 06 Dec 2024
https://github.com/jaalonso/cursos_de_ra
Recopilación de cursos de razonamiento automático.
acl2 agda automated-reasoning coq courses interactive-theorem-proving isabelle-hol lean otter proof-assistant prover9 pvs
Last synced: 06 Dec 2024
https://github.com/jcalixte/tps
Responsive Thinking People System
lean thinking-people-system toyota-production-system
Last synced: 10 Nov 2024
https://github.com/jjm2473/actions-lean-passwall
build lean's lede with passwall
Last synced: 11 Nov 2024
https://github.com/joannescode/autoleanstart
Automação de downloads dos artigos da Leanstart...
estudos-python jupyter-notebook lean python rpa-robots selenium-python
Last synced: 11 Nov 2024
https://github.com/zelosleone/lean-theorems
A repository for studying and implementing Lean theorems, focusing on mathematical and philosophical concepts.
euclidean-geometry formal-verification geometry lean lean4 mathematics philosophical-logic philosophical-mathematics real-analysis theorem-proving theorem-provings topology
Last synced: 16 Nov 2024
https://github.com/sunsided/lean4-playground
Toying around with Microsoft Lean 4
Last synced: 20 Dec 2024
https://github.com/raphsenn/proving-trivial-mathematical-lemmas
proving some trivial mathematical lemmas in Lean.
Last synced: 20 Nov 2024
https://github.com/dmytruek/aoc2024-lean4
Advent of Code 2024 solutions using Lean4
advent-of-code-2024 adventofcode adventofcode2024 aoc aoc-2024-in-lean aoc-2024-in-lean4 aoc2024 lean lean4
Last synced: 15 Dec 2024
https://github.com/mayankagnihotri7/canvanizer
Create a lean canvas using markdown.
canvas lean react react-router reactjs
Last synced: 05 Nov 2024
https://github.com/claby2/axiomatic-set-theory
∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean
Last synced: 19 Dec 2024
https://github.com/santoshlite/quantconnectvscode
A Visual Studio theme based on QuantConnect's design
json lean quantconnect theme theme-development vscode
Last synced: 13 Nov 2024
https://github.com/eric-wieser/divf-2022
CUED division F conference presentation
lean mathlib presentation sympy
Last synced: 05 Dec 2024
https://github.com/luavreis/lean4-minimal-mode
Minimalistic Emacs major mode for Lean 4 using Eglot.
Last synced: 29 Sep 2024
https://github.com/sintan1729/lean-talk-sp24
These are the files used in a talk
lean lean4 math mathematics proof-assistant
Last synced: 07 Nov 2024
