nilsmahlstaedt / cobra Goto Github PK
View Code? Open in Web Editor NEWThis project forked from martinring/cobra
Proof and Code Presentation Framework - Extended with semantic selection of code snippets without need of any code annotations as part of my bachelors thesis
Home Page: http://www.flatmap.net/cobra/
License: GNU Lesser General Public License v3.0