😃
back to work
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
- isaacv-pl.github.io
Highlights
- Pro
Pinned Loading
-
-
Advanced-Scientific-Computing
Advanced-Scientific-Computing PublicProjects made in C++ that are designed for science
C 1
-
notes
notes PublicNotes made in org-mode for the classes that I am taking at Princeton University
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.