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

Lean Theorem Prover

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

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.

Visualizing the network of math theories.

What to Read to Learn More About DevOps

Code for Parsel 🐍 - generate complex programs with language models

Neovim support for the Lean theorem prover

Bug-free machine learning on stochastic computation graphs

A verification toolchain for Rust programs

LuCI design theme (Suitable for lede)

A project to digitalise results from physics into Lean.

The "batteries included" extended library for the Lean programming language and theorem prover

Retrieval-Augmented Theorem Provers for Lean

A lean framework stack for agile Web development based on Symfony and Vuetify

常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码