Interactive Theorem Proving with Lean
Date:
My second repetition of the Regensburg guest lecture, with the AI section rebuilt almost from scratch with all new news.
Date:
My second repetition of the Regensburg guest lecture, with the AI section rebuilt almost from scratch with all new news.