Assistant to the Proof Assistant

Tags

javascript math presentation career education semantics sql complexity OOPSLA '19 research dissertation OOPSLA '15