Formal Proof

i have set up this page to help organize resources and information related to our reading course on proof assistants.

online resources

web sites

articles

books