Link Search Menu Expand Document

HNRS: Formalization and mathematics

Proofs and programs


The syllabus can be found at the syllabus tab.


At the calendar tab, you will find our topic schedule for each class along with the pre-reading, worksheets for that class, and due dates for assignments.


Notes can be found in their GitHub repository.


There are tabs for class homework.

Homework is turned in weekly and in groups of 3-4.

For more information, see the Syllabus.


If you are interested in a bit about who I am and what I do, check out the staff tab or visit my website.