Lib.rs

›

#reasoning #mechanical #system

app mrs

作者：Olivier ROLAND

安装
源代码

1 个不稳定版本

0.1.0	2020年6月11日

在 #mechanical 中排名 7

GPL-3.0-or-later

2KB

机械推理系统

无运行时依赖

另请参阅： hooo、chronologic、system_env、machine-check、reasonable、spacerocks、yash-env、aspic、gsp_system、crumble_ci、rialight_filesystem

Lib.rs 是由 kornelski 创建的 Rust/Cargo 库的非官方列表。它包含来自多个来源的数据，包括启发式数据和人工整理的数据。本页面内容不一定是库作者的推荐。本站与 Rust 项目无关联，也不受其支持。如果发现遗漏或错误，请提交错误报告。