search

martinring / cobra

Proof and Code Presentation Framework
http://www.flatmap.net/cobra/
GNU Lesser General Public License v3.0
21 stars 3 forks source link

Isabelle state annotations are incomplete #22

Open martinring opened 8 years ago