O Week Stuff from Tyler

FrameIT Paper for CICM16

Authors: Denis Rochau, Michael Kohlhase, Dennis Mueller

Bachelor Thesis Denis Rochau Includes Proposal, Thesis and Presentation

Related Work for FrameIT

Deliverable 4.2

papers/manuals on the OAF build system.

Proposal (draft) for a COST action dedicated to mathematical data