nyoom, 5 months ago @scathach everyone on fedi seems to like Lean more (I haven't used either)
@scathach everyone on fedi seems to like Lean more
(I haven't used either)