NOTE: C++17 version included for shits and giggles. Full axiomatik core is implmented, while simple and future features will be done at a later date. Looking for public code to test on. you can find ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback