nyoom, 5 months ago @scathach https://lean-lang.org/ tiskaan likes it as he said and iirc @ai does too
@scathach https://lean-lang.org/
tiskaan likes it as he said and iirc @ai does too