4 ms·
This is not correct. Not all the options are equal. It's possible to soundly define, verify and instantiate big modular contexts. https://github.com/7mind/iz
by pshirshov 4y ago
This is not correct.
Not all the options are equal.
It's possible to soundly define, verify and instantiate big modular contexts.
https://github.com/7mind/izumi/ https://github.com/7mind/izumi/