Apps filed under: Prover IDE
RSS Feed for this tag 1 application totalLast updated: May 25th 2013, 20:38 GMT
- 623 downloads
- 70.5 MB
Isabelle/Eclipse 1.2.0
Eclipse integration for Isabelle proof assistant
May 25th 2013, 20:38 GMT
Windows 8 64 bit / Windows 8 / Windows 7 / Windows Vista / Windows XP