2 unstable releases
| 0.2.0 | Feb 2, 2021 |
|---|---|
| 0.1.0 | Jan 28, 2021 |
#9 in #arxiv
53 downloads per month
Used in simplicity
23KB
452 lines
Macros to help the implementation of simulation of simplicity (https://arxiv.org/pdf/math/9410209.pdf)
Dependencies
~3MB
~62K SLoC