Lean4的分析器生成
Parser generation for Lean4 (2024-04-27, Lean, 0KB, 下载0次)
Lean4的总解析器组合器库
Total parser combinators library for Lean4 (2024-04-06, Lean, 0KB, 下载0次)
精益定理证明器
Lean Theorem Prover (2024-03-28, Lean, 0KB, 下载0次)
LeanSMTP分析器
LeanSMTParser (2024-03-18, Lean, 0KB, 下载0次)
Spielereien mit-dem定理证明器lean4
Spielereien mit dem Theorem Prover lean4 (2024-01-06, Lean, 0KB, 下载0次)
|Lean4的JSON解析器
| JSON parser for Lean4 (2023-12-08, Lean, 0KB, 下载0次)
精益差速器
lean-diff (2023-11-16, Lean, 0KB, 下载0次)
搜索Lean4的transformer，
Search transformers for Lean4, (2021-06-12, Lean, 0KB, 下载0次)
零知识Lean4编译器和内核，
A zero-knowledge Lean4 compiler and kernel, (2023-05-24, Lean, 0KB, 下载0次)
精益算术运算器，，
lean arith solver,, (2022-02-02, Lean, 0KB, 下载0次)
一元解析器组合子，在Lean中，
Monadic parser combinators, in Lean, (2019-07-29, Lean, 0KB, 下载0次)
React器贫液，，
reactor lean,, (2023-02-16, Lean, 0KB, 下载0次)
C0规范和精益验证编译器，
C0 specification and verified compiler in Lean, (2020-06-17, Lean, 0KB, 下载0次)
精益4的分析器组合器库，
Parser Combinator Library for Lean 4, (2023-08-23, Lean, 0KB, 下载0次)
lean4游戏服务器，，
lean4 game server,, (2022-09-30, Lean, 0KB, 下载0次)
迭代器的Lean 4库。，
A Lean 4 library for iterators., (2023-09-09, Lean, 0KB, 下载0次)
精益的分析器组合子，
Parser combinators for Lean, (2022-11-05, Lean, 0KB, 下载0次)
用lean编写的简单光线跟踪器，
A simple raytracer written in lean, (2021-01-13, Lean, 0KB, 下载0次)
精益4 Metamath验证器，
Lean 4 Metamath verifier, (2023-06-28, Lean, 0KB, 下载0次)
精益4的文档生成器，
Document Generator for Lean 4, (2023-09-13, Lean, 0KB, 下载0次)