2 unstable releases

0.2.0 Feb 2, 2021
0.1.0 Jan 28, 2021

#9 in #arxiv

Download history 53/week @ 2024-07-22

53 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
~62K SLoC