Skip to main content
Toggle navigation
Andrius Velykis
Blog
Topics
All topics
Coding
Other
Research
Useful
About me
Research
Publications
Posts in “Research”
PhD
27 July 2015
Isabelle/Eclipse released!
16 April 2013
Presenting at FM2012 Doctoral Symposium
26 August 2012
Previews of Isabelle/Eclipse, CZT+Z/EVES for Eclipse and the ProofProcess framework
22 July 2012
Research I have been doing
30 June 2012