Tool for data extraction and interacting with Lean programmatically.
-
Updated
May 28, 2024 - Python
Lean is a functional programming language that makes it easy to write correct
and maintainable code. You can also use Lean as an interactive theorem prover.
Lean programming primarily involves defining types and functions. This allows
your focus to remain on the problem domain and manipulating its data, rather
than the details of programming.
Tool for data extraction and interacting with Lean programmatically.
LLMs as Copilots for Theorem Proving in Lean
A verification toolchain for Rust programs
Índice de repositorios.
A kanban productivity app built in Next.js 14, with a focus on server actions.
Functional Programming in Lean の日本語訳. 演習問題への解答を含みます(作業中 🚧)
neovim support for the Lean theorem prover
Verified efficient algorithms in Lean4.
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Bootstrap your Terraform AWS infrastructure.
Created by Leonardo de Moura
Released 2013