Mathematics in Lean

Jeremy Avigad & Patrick Massot

★ 5.0 · 199 reads

Sign in to save this
Request Code
ZLIB.IO18512088
Published
2022
Pages
1
Language
Unknown