Newer
Older
start_date: 2012-04
end_date: 2017-01
working on various projects within the KWARC group in the direction of iMMT and OMDoc2.
start_date: 2012-04
end_date: 2017-01
working on various projects within the KWARC group in the direction of iMMT and OMDoc2.