Stefan Wehr Formalizing CoreGI
This document contains the full formalization of CoreGI, a subset of JavaGI.