The MathLang Formalisation Path into Isabelle -- A Second-Year report (2003)

by Robert Lamar