Lean

4 repositories found

leanprover

lean4

Lean AI analysis

Lean 4 is a functional programming language and interactive theorem prover designed for both mathematical proof verification and general-purpose...

Production ready Niche use case

lean lean4

8.4k

893

1.5k

83/wk

active

8/10 Education

Leantime

leantime

PHP AI analysis

Leantime is an open-source project management platform designed specifically for non-project managers, emphasizing accessibility for users with ADHD,...

Production ready Beginner friendly Niche use case

agile asana calendar

10.2k

289

126/wk

active

7/10 Productivity

lean-dojo

LeanCopilot

C++ AI analysis

LeanCopilot integrates large language models natively into the Lean theorem prover to automate proof search, tactic suggestion, and premise...

Production ready Niche use case

formal-mathematics lean lean4

1.3k

126

4/wk

recent

8/10 Science

crbnos

carbon

TypeScript AI analysis

Carbon is an open-source ERP/MES/QMS platform built for manufacturing enterprises, specifically targeting complex assembly, contract manufacturing,...

Production ready Niche use case

agentic-platform assemblyline business

2.2k

309

116

10/wk

active

7/10 Productivity