Skip to main content

Lean community blog

Main site
Archive
Tags
About
RSS feed

Posts about Interviews

2022-01-27 09:35Backstage with Yakov Pechersky
2021-12-17 09:35Backstage with Yaël Dillies

Contents © 2024 The Lean prover community - Powered by Nikola