3 ms·
It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.
by Smaug123 27d ago
It’s an aggregated list, not a list of formalisations in Lean - the checkbox is “things formalised in any prover”.