An Open Archive of Formalizations (OAF)
Third party funded individual grant
Acronym:
OAF
Start date :
01.01.2014
End date :
30.06.2020
Extension date:
30.06.2020
Making PVS accessible to generic services by interpretation in a universal format (2017)
Kohlhase M, Müller D, Owre S, Rabe F
Conference contribution, Original article
Classification of alignments between concepts of formal mathematical systems (2017)
Kohlhase M, Müller D, Rabe F, Kaliszyk C, Gauthier T
Conference contribution, Original article
QED reloaded: Towards a pluralistic formal library of mathematical knowledge (2016)
Kohlhase M, Rabe F
Journal article, Original article
OMDoc - An open markup format for mathematical documents [version 1.2] (2006)
Kohlhase M
Authored book