Universität Bonn

Wenda Li: Autoformalisation: Bridging the Gap between Informal and Formal Proofs

External Video-URL https://www.youtube.com/watch?v=mxQLpZWz_YI
Preview-Image
Search Engine
Exclude no
Wird geladen