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...
Kit is a Django project that provides built-in apps and REST API. It also offers several kinds of built-in web sites as well, like conversion and landing page.
-
Updated
Nov 22, 2022 - HTML
-
Updated
May 5, 2021
Two weeks ago I wrote about some basic resultant theory (maybe in a bad way...) Just upload it.
-
Updated
Aug 3, 2022 - Lean
Lean でクイズを出題するためのテンプレート. lean_grader を使用して自動採点を行います.開発中.
-
Updated
Aug 25, 2023 - Lean
Knowledge, Practices & Mindsets.
-
Updated
Jun 19, 2023 - CSS
A comprehensive collection of mathematical tools and utilities designed to support Lean Six Sigma practitioners in their process improvement journey
-
Updated
Aug 24, 2023 - Python
(Mirror) A Lean machine-to-machine REPL
-
Updated
Apr 11, 2024 - Lean
Recopilación de cursos de razonamiento automático.
-
Updated
Jun 24, 2022
Documentation website for Samelogic Platform, APIs, and SDKs
-
Updated
Mar 6, 2023 - JavaScript
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
Created by Leonardo de Moura
Released 2013
- Followers
- 26 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia