Tony Finch
dot@dotat.at
https://dotat.at/
https://dotat.at/:/78XYR.html
2020-10-12T11:32:16Z
Building the mathematical library of the future with Lean.
2020‑10‑12
Building the mathematical library of the future with Lean.
https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/
redirect
https://dotat.at/:/78XYR
blurb
https://dotat.at/:/78XYR.html
atom entry
https://dotat.at/:/78XYR.atom
wayback machine
web.archive.org
]]>