View of Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates

Return to Article Details Use of a proof assistant as a learning tool in an introductory logic course for computer science undergraduates Download Download PDF