Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Neovim support for the Lean theorem prover
Nix overlay for Lean 4, and lake2nix
Parameter Optimization for Lean Algorithms
Reimplementation of Natural Number Game in Coq