Deduced Framework 2.1 Projects and reports