3 ms·
Where are your formalizations of your proofs using Lean? Go away and don’t come back until you have them.
by throwway262515 5mo ago
Where are your formalizations of your proofs using Lean? Go away and don’t come back until you have them.
loading thread…