2 unstable releases

0.2.0 Feb 2, 2021
0.1.0 Jan 28, 2021

#8 in #arxiv

32 downloads per month
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
~61K SLoC