6 ms·
They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.p
by sidereal 7y ago
They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.php/Main_Page
- mehrdadn 7y agoThank you!