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