Lean
![lean logo](https://raw.githubusercontent.com/github/explore/b24a3bdcfe62d64a344cb0bd48180f8a31e67b29/topics/lean/lean.png)
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.
Here are 373 public repositories matching this topic...
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
-
Updated
Sep 5, 2024 - PHP
Lean Theorem Prover
-
Updated
Oct 14, 2023 - C++
Lean 3's obsolete mathematical components library: please use mathlib4
-
Updated
Jun 28, 2024 - Lean
Awesome List of resources on Agile Software Development.
-
Updated
Aug 10, 2024
LLMs as Copilots for Theorem Proving in Lean
-
Updated
Sep 2, 2024 - C++
Tool for data extraction and interacting with Lean programmatically.
-
Updated
Sep 4, 2024 - Python
What to Read to Learn More About DevOps
-
Updated
Sep 14, 2022
Code for Parsel 🐍 - generate complex programs with language models
-
Updated
Sep 17, 2023 - Python
Bug-free machine learning on stochastic computation graphs
-
Updated
Mar 3, 2019 - Lean
Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
A lean framework stack for agile Web development based on Symfony and Vuetify
-
Updated
Jan 21, 2022 - PHP
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
-
Updated
Aug 30, 2022 - C
常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
-
Updated
Feb 18, 2024 - JavaScript
neovim support for the Lean theorem prover
-
Updated
Sep 4, 2024 - Lua
Retrieval-Augmented Theorem Provers for Lean
-
Updated
Aug 29, 2024 - Python
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
-
Updated
Mar 7, 2024
Created by Leonardo de Moura
Released 2013
- Followers
- 29 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia