Computer science and humanities student with overlapping interests in formal logic, recursion theory, metaphilosophy, and applications to ethics.
Popular repositories Loading
-
207-course-notes
207-course-notes PublicForked from CSC207-UofT/207-course-notes
Course Notes for CSC207
Java
-
OpenLogic
OpenLogic PublicForked from OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.