GitHub topics: lean
ctnr-io/ha-lean-cluster
High Availability but Lean K8s Cluster
Language: TypeScript - Size: 235 KB - Last synced at: about 9 hours ago - Pushed at: about 10 hours ago - Stars: 5 - Forks: 0
34j/best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
Size: 2.79 MB - Last synced at: about 2 hours ago - Pushed at: 3 days ago - Stars: 83 - Forks: 4
AsugiSoto/Kimina-Prover-Preview
Technical report of Kimina-Prover Preview.
Size: 5.29 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 0 - Forks: 0
jaalonso/Calculemus2
Proof exercises in Lean4 and Isabelle/HOL
Language: Lean - Size: 16.1 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 8 - Forks: 0
jaalonso/jaalonso.github.io
Índice de repositorios.
Language: HTML - Size: 68.1 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 1 - Forks: 0
Seasawher/mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
Language: Python - Size: 5.38 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 17 - Forks: 1
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.
Size: 176 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 1,394 - Forks: 193
horothesun/infra-cookiecutter-template
Bootstrap your Terraform AWS infrastructure.
Language: HCL - Size: 174 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
farhan5248/sheep-dog-tools
Eclipse and Maven plug-ins to help manual testers support developers adopting bdd and tdd using lean principles and model based testing
Language: Java - Size: 6.66 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 0 - Forks: 0
HEPLean/PhysLean
A project to digitalise results from physics into Lean.
Language: Lean - Size: 4.76 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 200 - Forks: 18
Timeroot/Lean-QuantumInfo
Quantum information theory in Lean 4
Language: Lean - Size: 366 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 13 - Forks: 4
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language: C++ - Size: 1.22 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,072 - Forks: 99
Verified-zkEVM/ZKLib
Formally Verified SNARKs in Lean
Language: Lean - Size: 2.74 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 60 - Forks: 7
Seasawher/SelectionSort.lean
selection sort implemented and verified by lean
Language: Lean - Size: 94.7 KB - Last synced at: 4 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
verse-lab/veil
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Language: Lean - Size: 1.34 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 62 - Forks: 1
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language: Python - Size: 2.23 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 647 - Forks: 101
Julian/lean.nvim
Neovim support for the Lean theorem prover
Language: Lua - Size: 1.91 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 345 - Forks: 31
JadAbouHawili/KnightsAndKnaves-Lean4Game
Knights and Knaves Educational Game in Lean 4
Language: Lean - Size: 971 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 3 - Forks: 2
anqur/TinyLean
Tiny theorem prover with syntax like Lean 4 in <1K LOC
Language: Python - Size: 285 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 23 - Forks: 0
verse-lab/veil-usage-example
A template repository with an example of using Veil verifier as a Lean library.
Language: Lean - Size: 7.81 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0
Danelnov/Lambda-Calculus-Formalization-
This formalization uses the De Bruijn indices, the objective is to formalize the Church-Rosser theorem
Language: Lean - Size: 2.93 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
leanprover-community/mathlib3 📦
Lean 3's obsolete mathematical components library: please use mathlib4
Language: Lean - Size: 213 MB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 1,662 - Forks: 294
gphiliprogers/blogposts
Blog posts by Phil Rogers, covering a range of topics related to AI, Cybersecurity, books, leadership, Agile teams, Scrum, Lean, and Kanban
Size: 107 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 1 - Forks: 0
leanprover/lean4
Lean 4 programming language and theorem prover
Language: Lean - Size: 1.99 GB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 5,313 - Forks: 561
Julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Language: C - Size: 241 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 31 - Forks: 8
fgdorais/lean4-unicode-basic
Basic Unicode support for Lean 4
Language: Lean - Size: 10.8 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 9 - Forks: 5
nomeata/loogle
Mathlib search tool
Language: Lean - Size: 298 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 84 - Forks: 15
AeneasVerif/aeneas
A verification toolchain for Rust programs
Language: OCaml - Size: 7.98 MB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 251 - Forks: 24
utensil/formal-land
My monorepo for formalization, e.g. Lean, Aya
Language: Lean - Size: 403 KB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 4 - Forks: 2
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
DSLstandard/Lean4-FFI-Programming-Tutorial-GLFW
Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.
Language: Lean - Size: 47.9 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 8 - Forks: 0
marcusoftnet/marcusoftnet.github.io
My blog - www.marcusoft.net
Language: SCSS - Size: 130 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2 - Forks: 0
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language: Lean - Size: 16.2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 291 - Forks: 118
opencompl/fp.lean
Floating Point Semantics Mechanization for Lean
Language: Lean - Size: 12.7 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 0 - Forks: 0
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Language: PHP - Size: 198 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 5,228 - Forks: 628
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language: Lean - Size: 1.25 MB - Last synced at: 8 days ago - Pushed at: 12 days ago - Stars: 129 - Forks: 34
echocat/lingress
Lean ingress controller.
Language: Go - Size: 881 KB - Last synced at: 9 days ago - Pushed at: 12 days ago - Stars: 2 - Forks: 1
rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
Language: Lean - Size: 254 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 62 - Forks: 6
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language: TypeScript - Size: 11.3 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 203 - Forks: 62
kenzok8/openwrt_Build
一键多编译固件
Language: Shell - Size: 666 KB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 880 - Forks: 450
jcalixte/tps
Responsive Thinking People System
Language: TypeScript - Size: 460 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
leanprover/lean3 📦
Lean Theorem Prover
Language: C++ - Size: 50.3 MB - Last synced at: 1 day ago - Pushed at: over 1 year ago - Stars: 2,150 - Forks: 217
Seasawher/import-all
This script can check and auto-generate `import` statements in a lean4 repository.
Language: Lean - Size: 23.4 KB - Last synced at: 2 days ago - Pushed at: 18 days ago - Stars: 5 - Forks: 0
Seasawher/mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Language: Lean - Size: 146 KB - Last synced at: 2 days ago - Pushed at: 16 days ago - Stars: 17 - Forks: 2
Seasawher/lean-book
mdbook template for Lean project
Language: Lean - Size: 166 KB - Last synced at: 2 days ago - Pushed at: 15 days ago - Stars: 5 - Forks: 0
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
Language: Jupyter Notebook - Size: 42.4 MB - Last synced at: 12 days ago - Pushed at: 20 days ago - Stars: 272 - Forks: 28
reilabs/proven-zk
A support library for working with zero knowledge cryptography in Lean 4.
Language: Lean - Size: 160 KB - Last synced at: 16 days ago - Pushed at: 16 days ago - Stars: 36 - Forks: 4
Seasawher/mk-exercise
Simple and intuitive tool to manage exercises in textbooks written in Lean.
Language: Lean - Size: 99.6 KB - Last synced at: 2 days ago - Pushed at: 17 days ago - Stars: 7 - Forks: 0
kenzok78/Build-OpenWrt
四个主流代码x86固件编译
Language: Shell - Size: 479 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 53 - Forks: 57
gebner/hott3
HoTT in Lean 3
Language: Lean - Size: 452 KB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 79 - Forks: 11
fgdorais/extra4
Supplements to the Lean 4 Standard Library
Language: Lean - Size: 162 KB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 3 - Forks: 0
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Language: Lean - Size: 122 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 75 - Forks: 17
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede)
Language: CSS - Size: 22.3 MB - Last synced at: 16 days ago - Pushed at: 7 months ago - Stars: 328 - Forks: 62
mtoohey31/lott
An ott-like DSL embedded in Lean.
Language: Lean - Size: 374 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 1 - Forks: 1
col-intel/agency-owners-manual
The First Year's Agency Owner's Manual
Size: 0 Bytes - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 1 - Forks: 0
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
Language: Python - Size: 1.56 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 130 - Forks: 15
leanprover/lean-action
GitHub action for standard CI in Lean projects
Language: Shell - Size: 189 KB - Last synced at: 11 days ago - Pushed at: 23 days ago - Stars: 18 - Forks: 4
argumentcomputer/Blake3.lean
Lean4 bindings to Blake3
Language: Lean - Size: 83 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 5 - Forks: 1
BobLd/lean-monitor-2
Windows/Linux/MacOS Desktop App to browse QuantConnect Lean engine's backtest and monitor live performances. Original project https://github.com/mirthestam/lean-monitor
Language: C# - Size: 4.41 MB - Last synced at: 6 days ago - Pushed at: 2 months ago - Stars: 27 - Forks: 16
eric-wieser/mathlib-import-graph
An interactive viewer for the mathlib import graph
Language: HTML - Size: 118 KB - Last synced at: 25 days ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 4
microsoft/AliveInLean 📦
Formally verified implementation of Alive in Lean
Language: Lean - Size: 143 KB - Last synced at: about 14 hours ago - Pushed at: almost 2 years ago - Stars: 36 - Forks: 9
AlexDuchnowski/rubiks-cube
A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.
Language: Lean - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 9 - Forks: 0
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
Language: Lean - Size: 177 KB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 101 - Forks: 11
ntlean/divided_powers
Formalization of divided powers in Lean 4
Language: Lean - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
fgdorais/lean4-parser
Parser Combinator Library for Lean 4
Language: Lean - Size: 9.65 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 47 - Forks: 6
S3-working-group/s3-practical-guide
A practical guide for Sociocracy 3.0.
Language: HTML - Size: 869 MB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 73 - Forks: 28
laufermi/laufermi
Collect information about development, architecture, lean, scrum..
Size: 387 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
sunnylife42/docs
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
Language: MDX - Size: 1.46 MB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 120 - Forks: 49
fadoss/maude2lean
Maude to Lean translator
Language: Lean - Size: 176 KB - Last synced at: 8 days ago - Pushed at: 8 months ago - Stars: 5 - Forks: 0
0x676e67/Actions-OpenWrt
Lean♂DHDAXCW Actions OpenWrt for Nanopi R5C/R4SE/X86
Language: Makefile - Size: 23.2 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 47 - Forks: 16
mo271/FormalBook
Formalizing "Proofs from THE BOOK"
Language: TeX - Size: 354 KB - Last synced at: about 19 hours ago - Pushed at: 4 months ago - Stars: 57 - Forks: 12
lean-dojo/LeanDojoWebsite
Code for LeanDojo's website
Language: JavaScript - Size: 42.7 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 8 - Forks: 2
Crispher/MathlibExplorer
Visualizing the network of math theories.
Language: Python - Size: 7.11 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 506 - Forks: 42
gebner/trepplein
Lean type-checker written in Scala.
Language: Scala - Size: 118 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 35 - Forks: 2
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
Language: Lean - Size: 289 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 390 - Forks: 35
syrussamson/year0001-radio
A radio built for the record label YEAR0001, consisting of songs from Bladee, Yung Lean, Gud, and more! (Not affiliated with YEAR0001)
Language: JavaScript - Size: 137 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
S3-working-group/s3-praxisleitfaden
The German translation of "S3 - A practical guide", see the website for the full text and download links
Language: HTML - Size: 208 MB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 8
ewdlop/Proof-Assistance-Note
https://en.wikipedia.org/wiki/Proof_assistant; 一錯特錯錯到底! 爆炸原理是重哪來的?
Language: Coq - Size: 227 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
bhgomes/lean-riemann-hypothesis
Riemann Hypothesis in Lean
Language: Lean - Size: 1.77 MB - Last synced at: 30 days ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 7
risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Language: Lean - Size: 3.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 62 - Forks: 4
arossmann/books2read
this is my list of books I read, currently read or want to read
Language: SCSS - Size: 81.1 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1 - Forks: 1
Hagb/lean-groebner
Lean4 formalization of Gröbner basis (WIP)
Language: Lean - Size: 161 KB - Last synced at: about 2 months ago - Pushed at: almost 2 years ago - Stars: 5 - Forks: 1
GasStationManager/FormalizeWithTest
Autoformalization of coding problems, verified with test cases
Language: Python - Size: 52.7 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 2 - Forks: 0
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language: Python - Size: 344 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 114 - Forks: 13
bergmannjg/time
Port of the haskell time library to Lean 4 and verification of date calculations
Language: Lean - Size: 188 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 1
mariordev/mailtoui
A simple way to enhance your mailto links with a convenient user interface.
Language: JavaScript - Size: 1.3 MB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 193 - Forks: 12
alexkeizer/QpfTypes
A WIP definitional (co)datatype package for Lean4
Language: Lean - Size: 564 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 34 - Forks: 4
jtb21091/LeanSixSigma
Lean six sigma app
Language: HTML - Size: 272 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
alexjbest/leaff
Leaff is a diff tool for Lean environments
Language: Lean - Size: 224 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 15 - Forks: 1
ohjelmistotuotanto-hy/ohjelmistotuotanto-hy.github.io
Helsingin yliopiston kurssin Ohjelmistotuotanto materiaali
Language: SCSS - Size: 92.1 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 6 - Forks: 116
TOTBWF/lean4-raytrace
A simple raytracer written in lean
Language: Lean - Size: 117 KB - Last synced at: about 2 months ago - Pushed at: over 4 years ago - Stars: 11 - Forks: 0
funexists/raylean
Lean4 bindings for raylib
Language: C - Size: 2.45 MB - Last synced at: 1 day ago - Pushed at: 3 months ago - Stars: 11 - Forks: 4
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: about 23 hours ago - Pushed at: 3 months ago - Stars: 9 - Forks: 2
aconite-ac/aconite-ac.github.io
Leanの日本語情報(非公式)を掲載します。
Language: HTML - Size: 3.66 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
aconite-ac/theorem_proving_in_lean4 Fork of leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4 日本語訳
Language: JavaScript - Size: 9.21 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 10 - Forks: 3
Anderssorby/Nix.lean
Nix expressions and derivations in lean (in development)
Language: Lean - Size: 121 KB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 9 - Forks: 0
kiranandcode/lean-aoc
Advent of code in Lean4
Language: Lean - Size: 123 KB - Last synced at: 21 days ago - Pushed at: 4 months ago - Stars: 7 - Forks: 0
aarjaneiro/QtLean
A Qt GUI interface and build system for QuantConnect's Lean
Language: C++ - Size: 4.82 MB - Last synced at: 21 days ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 4
dmyTRUEk/aoc2024-lean4
Advent of Code 2024 solutions using Lean4
Language: Python - Size: 307 KB - Last synced at: 18 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
ryanallen/designDoc
A lean product design process in markdown that enables cross-functional teams to take an idea from napkin to scale by prioritizing learnings to produce customer-centered solutions.
Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 43 - Forks: 11
