Lean

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

Lean 4 programming language and theorem prover

The math library of Lean 4

Lean Theorem Prover

Lean 3's obsolete mathematical components library: please use mathlib4

#Awesome#Awesome List of resources on Agile Software Development.

#大语言模型#LLMs as Copilots for Theorem Proving in Lean

一键多编译固件

#大语言模型#Tool for data extraction and interacting with Lean programmatically.

A collection of formalized statements of conjectures in Lean.

Visualizing the network of math theories.

What to Read to Learn More About DevOps

What to Read to Learn More About DevOps

Lean theorem proving interface which feels like pen-and-paper proofs.

#计算机科学#Code for Parsel 🐍 - generate complex programs with language models

Lean 3 Theorem Prover (community fork)

Scientific computing in Lean 4

Neovim support for the Lean theorem prover

#计算机科学#Bug-free machine learning on stochastic computation graphs

A verification toolchain for Rust programs