精益编程语言和定理证明器的“包含电池”扩展库
The "batteries included" extended library for the Lean programming language and theorem prover (2024-05-07, Lean, 0KB, 下载0次)
Lean是一种依赖类型的编程语言和定理证明器。
Lean is a dependently-typed programming language and theorem prover. (2024-04-12, Lean, 0KB, 下载0次)
通过在Lean4中表示数字系统来熟悉交互式定理证明器
Acquainting myself with interactive theorem provers by representing number systems in Lean4 (2024-01-07, Lean, 0KB, 下载0次)
Koka和Lean中代码2023的出现，取决于编译器的心情
Advent of code 2023 in Koka and Lean, depending on the compiler s mood (2023-12-06, Lean, 0KB, 下载0次)
用于解析和编译语法和解析器定义的Lean 4工具库。，
Lean 4 library of tools for parsing and compiling syntax and parser definitions., (2023-10-26, Lean, 0KB, 下载0次)
|Lean4中Rinha de后端的HTTP 1.1服务器不完整，
| Incomplete HTTP 1.1 Server in Lean4 for Rinha de backends, (2023-09-12, Lean, 0KB, 下载0次)
使用该报告探索线性化能力，将并发计数器用作玩具问题，
Use this repo to explore linearizability, using the concurrent counter as a toy problem, (2018-03-07, Lean, 0KB, 下载0次)
Coq中CompCert项目的精益端口，用于KreMLin编译器，
Lean port of the CompCert project in Coq, for the KreMLin compiler, (2017-06-08, Lean, 0KB, 下载0次)
在Lean 4中与SMT-LIB 2兼容的解算器交互，
Interact with SMT-LIB 2 compliant solvers in Lean 4, (2023-03-27, Lean, 0KB, 下载0次)
使用精益证明器证明河内塔问题是可解决的，
proof using the lean prover that the towers of hanoi problem is solvable, (2018-12-14, Lean, 0KB, 下载0次)
Lean 4.中简单双向类型检查器的演示实现。，
A demo implementation of a simple bidirectional type-checker in Lean 4., (2022-04-02, Lean, 0KB, 下载0次)
采用精益4构建的Python环境管理器，
A Python environment manager built in Lean 4, (2023-09-12, Lean, 0KB, 下载0次)
具有数字和和的简单语言的正式验证编译器，
A formally verified compiler for a simple language with numbers and sums, (2020-11-29, Lean, 0KB, 下载0次)
在Lean 4中使用SAT解算器进行的实验，
Experiments with SAT solvers with proofs in Lean 4, (2023-09-11, Lean, 0KB, 下载0次)
Lean 4构建系统和包管理器，配置文件用Lean.编写。，
Lean 4 build system and package manager with configuration files written in Lean., (2023-07-06, Lean, 0KB, 下载0次)
Lean定理证明器中的CPL完备项和无声证明形式化
CPL completenes and soundess proof formalisation in the Lean theorem prover (2020-11-19, Lean, 8KB, 下载0次)
为Lean定理证明器编写的密码学算法正确性的形式化证明
Formal proofs of correctness of cryptography algorithms written for the Lean Theorem Prover (2020-03-31, Lean, 5KB, 下载0次)
Lean 3定理证明器的机器学习健身房的原型版本
A prototype version of a machine learning gym for the Lean 3 theorem prover (2020-07-27, Lean, 34KB, 下载0次)
KIT 2022年版“定理证明器实验室：编程语言中的应用”课程材料
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition (2022-07-18, Lean, 994KB, 下载0次)
KIT“定理证明器实验室：编程语言中的应用”课程材料，SS2021版
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition (2021-07-01, Lean, 2378KB, 下载0次)