2 个不稳定版本
| 0.2.0 | 2021 年 2 月 2 日 |
|---|---|
| 0.1.0 | 2021 年 1 月 28 日 |
#9 in #arxiv
在 simplicity 中使用
23KB
452 代码行数（不含注释）
宏帮助实现简化性模拟（https://arxiv.org/pdf/math/9410209.pdf）
依赖
~3MB
~62K SLoC
| 0.2.0 | 2021 年 2 月 2 日 |
|---|---|
| 0.1.0 | 2021 年 1 月 28 日 |
#9 in #arxiv
在 simplicity 中使用
23KB
452 代码行数（不含注释）
宏帮助实现简化性模拟（https://arxiv.org/pdf/math/9410209.pdf）
~3MB
~62K SLoC