4 ms·
The name (and editor extensions) are taken by another 'K framework': http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.php/Main_Page
by ricardobeat 7y ago
The name (and editor extensions) are taken by another 'K framework': http://www.kframework.org/index.php/Main_Page http://www.kframework.org/index.php/Main_Page
- kick 7y agok spawned in 1992. When did this framework come about?