lean
There are 404 repositories under lean topic.
leanprover/lean4
Lean 4 programming language and theorem prover
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
leanprover/lean3
Lean Theorem Prover
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
kenzok8/openwrt_Build
一键多编译固件
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Crispher/MathlibExplorer
Visualizing the network of math theories.
chris-short/DevOps-README.md
What to Read to Learn More About DevOps
ezelikman/parsel
Code for Parsel 🐍 - generate complex programs with language models
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
Julian/lean.nvim
Neovim support for the Lean theorem prover
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede)
symlex/symlex
A lean framework stack for agile Web development based on Symfony and Vuetify
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
huazhuangnan/actions-build-padavan-openwrt
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
haiibo/openwrt-packages
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
AeneasVerif/aeneas
A verification toolchain for Rust programs
joelparkerhenderson/maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
mariordev/mailtoui
A simple way to enhance your mailto links with a convenient user interface.
HEPLean/PhysLean
A project to digitalise results from physics into Lean.
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
devmozao/estante
Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas complementares e pertinentes a profissão. Ex: design thinking, psicologia comportamental, etc.
eGenix/egenix-pyrun
eGenix PyRun - Your friendly, lean, open source Python runtime
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
sunnylife42/docs
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
DreamWalkerXZ/Actions-OpenWrt-K2P
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
lean-ja/lean-by-example
コード例で学ぶ Lean 言語
bamlab/dev-standards
https://bamtech.gitbooks.io/dev-standards/