kino3/world
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Formalization of Granstrom's world and world map in Agda This is from the paper named 'A New Paradigm for Component-based Development'. See http://ojs.academypublisher.com/index.php/jsw/article/view/jsw070511361148