Post date: Nov 16, 2015 7:35:1 PM
I've published a document called "HPC Cookbook" that contains everything we've learned about Hilbert's Proof Calculus.
It might provide useful reference for the current assignment.