Comment Comment by sidereal They're specifications in the K Framework, developed by the same group of folks: http://www.kframework.org/index.php/Main_Page parent sidereal 7 years ago
