FYS: Computer-Verified Proof - A Hands-On Intro to Interactive Theorem Proving

3 Credits.

TBD