Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs (Full Report)
Hi! Prof. B is busy in the lab, but I can help check his notes for you! What do you need to know?