Lean是一种依赖类型的编程语言和定理证明器。
Lean is a dependently-typed programming language and theorem prover. (2024-04-12, Lean, 0KB, 下载0次)
精益中的函数式编程练习
Exercises of Functional Programming in Lean (2024-01-13, Lean, 0KB, 下载0次)
精益中的函数式编程练习
Exercises of Functional Programming in Lean (2023-12-26, Lean, 0KB, 下载0次)
Lean4中的函数编程
functional programming in Lean4
精益4编程文件脚本，有助于没有严格数学背景的科学家和工程师。
Lean 4 programming files scripts that are helpful to scientists and engineers without a strict mathematical background. (2023-11-25, Lean, 0KB, 下载0次)
Lean4编程语言基础
Programming Language Foundation in Lean4 (2023-11-26, Lean, 0KB, 下载0次)
精益社区提供的文档的代码和练习，以学习精益中的功能编程
Codes and exercises for the docs provided by Lean community to learn functional programming in Lean (2023-11-10, Lean, 0KB, 下载0次)
精益编程语言的构建工具，
A build tool for the Lean programming language, (2016-09-06, Lean, 0KB, 下载0次)
通过代码2022的到来，练习使用Lean 4进行函数编程，
Practice in functional programming with Lean 4 via Advent of Code 2022, (2023-04-03, Lean, 0KB, 下载0次)
Mike Spivey在Lean4.中的“编程语言原理”。，
Mike Spivey s "Principles of Programming Languages" in Lean4., (2023-07-09, Lean, 0KB, 下载0次)
精益平方和编程。，
Sum-of-squares programming in Lean., (2021-05-26, Lean, 0KB, 下载0次)
精益4函数编程语言的操作符和关键字的现场指南。，
A field guide to the operators and keywords of the Lean 4 functional programming language., (2023-01-06, Lean, 0KB, 下载0次)
一种小型编程语言，由一系列博客帖子和精益代码正式定义。，
A small programming language formally defined with a series of blog posts and Lean code., (2023-04-28, Lean, 0KB, 下载0次)
SNU编程工具的精益编程语言IDE子模块。，
The Lean Programming language IDE submodule for SNU Programming Tools., (2022-09-19, Lean, 0KB, 下载0次)
一个存储库，用于展示我对精益编程语言的知识，并继续学习该语言。，
A repository for showcasing my knowledge of the Lean programming language, and continuing to learn the language., (2022-09-19, Lean, 0KB, 下载0次)
精益中代码编程难题的出现，
The Advent of Code programming puzzles in Lean, (2018-12-13, Lean, 0KB, 下载0次)
在具有依赖类型的认证编程中发现的事物的精益实现，
Lean implementations of things found in Certified Programming with Dependent Types, (2022-06-05, Lean, 0KB, 下载0次)
精益编程语言基础，
Programming Language Foundations in Lean, (2022-11-18, Lean, 0KB, 下载0次)
lean4元编程书，，
lean4 metaprogramming book,, (2023-09-11, Lean, 0KB, 下载0次)