Hacker News Reader

Note that these are all preprints. None are verified.

Other than the by the lean certificate you mean.

Lean has bugs & proofs of ⊥ that have gone undetected previously.

many of these are not accompanied with leanslop