Skip to content

ProverEditorDescription

Jump to bottom Edit New page
Attila Sukosd edited this page Mar 15, 2013 · 1 revision

The MOBIUS Prover Editor is an integrated frontend for interactive theorem provers, currently the Coq prover, that is used to prove the generated verification conditions interactively.

Version: 1 Time: Fri Mar 28 17:38:15 2008 Author: dcochran (dcochran) IP: 193.1.132.32

Add a custom footer
Add a custom sidebar
Clone this wiki locally