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 18 public repositories matching this topic...
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
-
Updated
May 8, 2022 - Shell
Custom OpenWrt build for Raspberry Pi 1/2/3/4, x86/x64 PC (BIOS), NanoPi R2S/R4S and Orange Pi Zero/R1 Plus
-
Updated
Apr 27, 2022 - Shell
R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt 每天编译更新固件
-
Updated
Jul 20, 2021 - Shell
Extract small increments from large changes
-
Updated
Jan 22, 2022 - Shell
R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt
-
Updated
Feb 12, 2021 - Shell
使用Actions来编译路由器固件
-
Updated
Sep 27, 2023 - Shell
Created by Leonardo de Moura
Released 2013
- Followers
- 28 followers
- Repository
- leanprover/lean
- Website
- leanprover.github.io
- Wikipedia
- Wikipedia