Introduction to the Theory of Computation

fme-teaching / fm-courses

List of Formal Methods Courses

3 stars 0 forks source link

Introduction to the Theory of Computation #72

Open cogumbreiro opened 3 years ago

cogumbreiro commented 3 years ago

Course code, if applicable: CS420 University hosting the course: University of Massachusetts Boston Contact person: Tiago Cogumbreiro, tiago.cogumbreiro@umb.edu Concepts taught: Interactive Theorem Proving,Language Theory,Logic,Proofs Tools used: Coq Webpage: https://cogumbreiro.github.io/teaching/cs420/s20/ Year/Level: 4 Reviewed: 2021/06/23

jff commented 3 years ago

Thanks for your contribution, @cogumbreiro !

cogumbreiro commented 3 years ago

Thank you for this really cool project!