文件名称：nanoda:精益定理证明者的类型检查器
文件大小：59KB
文件格式：ZIP
更新时间：2024-05-27 00:28:27
Rust
此存储库已弃用 该项目的积极开发已移至有关此版本（旧版本）的信息仍可在OLD_README.md中找到。 该版本实施了较旧的缩减策略，尚未针对新版本的mathlib的庞大大小进行调整。请注意，针对最新版本的mathlib运行此版本可能会导致内存不足错误。 弃用的通知 该项目的开发已移至 。仍可以在OLD_README.md中读取有关此版本（较旧）的信息。
【文件预览】：
nanoda-master
----Cargo.toml(463B)
----Cargo.lock(9KB)
----src()
--------inductive.rs(19KB)
--------pretty()
--------reduction.rs(10KB)
--------main.rs(6KB)
--------utils.rs(5KB)
--------name.rs(4KB)
--------env.rs(11KB)
--------level.rs(13KB)
--------cli.rs(7KB)
--------errors.rs(5KB)
--------quot.rs(6KB)
--------tc.rs(24KB)
--------parser.rs(13KB)
--------expr.rs(32KB)
----OLD_README.md(3KB)
----config()
--------pp_names.txt(206B)
--------pp_options.txt(349B)
----README.md(682B)
----docs()
--------build_docs.md(359B)
--------changelog.md(625B)
----.gitignore(70B)