2 unstable releases

0.2.0 Feb 2, 2021
0.1.0 Jan 28, 2021

#9 in #arxiv


Used in simplicity

MIT license

23KB
452 lines


Macros to help the implementation of simulation of simplicity (https://arxiv.org/pdf/math/9410209.pdf)

Dependencies

~3MB
~64K SLoC