科赫4D高尔夫2D雪花发生器
Koch 2D snowflake generator for 4D Golf (2024-05-07, Lean, 0KB, 下载0次)
受idris2json启发的json序列化器反序列化器
a json serializer deserializer inspired from idris2-json (2024-04-20, 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次)
一个玩具ELF解析器验证器
A toy ELF parser validator (2024-03-22, 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次)
|玩具解析器组合器
| Toy parser combinator (2023-08-21, Lean, 0KB, 下载0次)
精益差速器
lean-diff (2023-11-16, Lean, 0KB, 下载0次)
c0的参考编译器
Reference compiler for c0 (2023-11-11, Lean, 0KB, 下载0次)
定理证明器的证书，
Certificates for theorem provers, (2023-10-03, Lean, 0KB, 下载0次)
搜索Lean4的transformer，
Search transformers for Lean4, (2021-06-12, Lean, 0KB, 下载0次)
精益算术运算器，，
lean arith solver,, (2022-02-02, Lean, 0KB, 下载0次)
React器贫液，，
reactor lean,, (2023-02-16, 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次)
Lean4中的Mandelbrot渲染器，
A Mandelbrot renderer in Lean4, (2021-09-21, Lean, 0KB, 下载0次)
使用Lean定理证明器的实验
Experiments using the Lean theorem prover (2020-10-18, Lean, 18KB, 下载0次)
LEAN定理证明器练习
exercises for LEAN theorem prover (2018-02-27, Lean, 10KB, 下载0次)