isaacv-pl
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology