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 357 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
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
-
Updated
May 10, 2024 - TeX
Polodis Body of Knowledge
-
Updated
Jan 4, 2018
Documentation for the Business Intelligence Beacon project
-
Updated
Feb 27, 2021 - Makefile
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia