2 unstable releases

0.2.0 Feb 2, 2021
0.1.0 Jan 28, 2021

#137 in #geometry

23 downloads per month
Used in simplicity

MIT license

22KB
452 lines


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

Dependencies

~1.6–2MB
~39K SLoC