Name: Jacob Neumann
Type: User
Bio: PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science;
Former Lecturer at Carnegie Mellon University SCS
Location: Nottingham, England, UK
Blog: jacobneu.github.io
Jacob Neumann's Projects
LaTeX compilation framework & LaTeX source library for 15-150 M20 lecture slides
15-150 Bad Style Competition, Summer 2021
Formalization of Homotopy Type Theory for use in my Youtube videos
Homotopy Type Theory Exercises for MGS 2023
Lean formalisation and textbook for Languages and Computation
Repository of publicly-released documents & resources related to my master's thesis