Deduced Framework 2.1 Tutorials