Forked from
KWARC / kwarc.info / www
1181 commits behind the upstream repository.
-
Michael Kohlhase authoredMichael Kohlhase authored
odk.md 143 B
layout: project
menu_title: OpenDreamKit
title: OpenDreamKit
pillar: KMR
start: 2015-09
end: 2019-08
people: mkohlhase,frabe,twiesing