The KWARC Proposal Archive
This repository contains (some of) the Ph.D. proposals of the KWARC Research group.
We organize the proposals (PDF files) by year.
Select Git revision
proposal-archive
-
-
- Open in your IDE
- Download source code
Michael Kohlhase authored