[lean-lang.org] broken file

leanprover / leanprover.github.io

www

https://lean-lang.org/

15 stars 24 forks source link

Closed vvs- closed 8 months ago

vvs- commented 8 months ago

Hi.

The file "Are We Fast Yet" from LT2024 is a malformed PDF 607 byte in length.

Kha commented 8 months ago

Fixed, thanks