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 359 public repositories matching this topic...
「Mathematics in Lean tutorial」の和訳(作業中).
-
Updated
May 17, 2024 - Lean
A verification toolchain for Rust programs
-
Updated
May 17, 2024 - OCaml
Verified efficient algorithms in Lean4.
-
Updated
May 17, 2024 - Lean
Índice de repositorios.
-
Updated
May 17, 2024 - HTML
-
Updated
May 17, 2024 - HTML
neovim support for the Lean theorem prover
-
Updated
May 17, 2024 - Lua
Lean ingress controller.
-
Updated
May 17, 2024 - Go
My blog - www.marcusoft.net
-
Updated
May 17, 2024 - SCSS
A kanban productivity app built in Next.js 14, with a focus on server actions.
-
Updated
May 17, 2024 - TypeScript
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
-
Updated
May 16, 2024 - Lean
Helper toolkit for creating your own Lean 4 UserWidgets
-
Updated
May 16, 2024 - Lean
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia