Andrius Velykis
1 application totalLast updated: May 25th 2013, 20:38 GMT
Full list of applications developed by Andrius Velykis:
- 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