search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

add a switch for Coq #42

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
There is a preliminary (?) coq implementation that dumps proof obligations
in a file, but no switch so that normal users can activate it.

Original issue reported on code.google.com by radugrig...@gmail.com on 27 Aug 2009 at 9:52