HNRS: Formalization and mathematics
Proofs and programs
Syllabus
The syllabus can be found at the syllabus tab.
Calendar
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
Notes can be found in their GitHub repository.
Homework
There are tabs for class homework.
Homework is turned in weekly and in groups of 3-4.
For more information, see the Syllabus.
Me
If you are interested in a bit about who I am and what I do, check out the staff tab or visit my website.