Results for "Lean proof assistant"
Episodes where Lean proof assistant is tagged as the guest — not episodes that only mention them in titles or summaries. Search mentions
No results found.
No catalog episodes tagged with Lean proof assistant as guest. View guest profileSearch mentions in episode text