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 361 public repositories matching this topic...
-
Updated
May 5, 2021
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います.開発中.
-
Updated
Aug 25, 2023 - Lean
(Mirror) A Lean machine-to-machine REPL
-
Updated
Apr 11, 2024 - Lean
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
Solution to the natural number game by By Kevin Buzzard and Mohammad Pedramfar. It can be found here: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ Written in Lean.
-
Updated
Aug 16, 2022
https://github.com/yuma-mizuno/lean-math-workshop の内容をウェブページとしてビルドする試み
-
Updated
Aug 26, 2023 - Lean
The tool is macro based program written in VBA and implemented in MS Excel office application. It's intend for back office corporate operations when it is necessary to allocate people and plan work in a large corporate teams.
-
Updated
Jun 3, 2024
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia