Lean
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.
Here are 365 public repositories matching this topic...
A project to digitalise results from high energy physics into Lean.
-
Updated
Jun 12, 2024 - Lean
A formalised proof of Fermat's Last Theorem for exponent 3 in the Lean proof assistant.
-
Updated
Jun 12, 2024 - TeX
Índice de repositorios.
-
Updated
Jun 12, 2024 - HTML
A verification toolchain for Rust programs
-
Updated
Jun 12, 2024 - OCaml
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
-
Updated
Jun 12, 2024 - PHP
A kanban productivity app built in Next.js 14, with a focus on server actions.
-
Updated
Jun 12, 2024 - TypeScript
The matrix cookbook, proved in the Lean theorem prover
-
Updated
Jun 11, 2024 - Lean
GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
-
Updated
Jun 11, 2024 - Jupyter Notebook
-
Updated
Jun 11, 2024 - HTML
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
-
Updated
Jun 11, 2024 - Lean
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia