The Lean Theorem Prover
Avigad, JThursday 29th June 2017 - 11:00 to 12:00
Listen in your app
Episodes
No episodes yet.
Avigad, JThursday 29th June 2017 - 11:00 to 12:00
No episodes yet.