Report copyright - Logic in Coq - Cornell University...Today’s music: Autologicby Rage Against The Machine Prof. Clarkson Fall 2017 Review Previously in 3110: •Functional programming in Coq •Proofs
Please pass captcha verification before submit form