PhD Seminar • Symbolic Computation • Formalizing Mathematical Definitions in the Lean Proof Assistant
Please note: This PhD seminar will take place in DC 2310.
Alena Gusakov,PhD candidate
David R. Cheriton School of Computer Science
Supervisors: Professors Stephen M. Watt, Chris Godsil