This is your work, valued
CS @ Carnegie Mellon University
ltl-explainability. Linear Temporal Logic to Timeline
istari-stc. Mechanization of Synthetic Tait Computability in Istari
stop. Formalization of Big-Stop Semantics (and small-step and big-step semantics) of PCF in Agda
