"Why not just use Lean?" (via priime) — discussion

#formalmethods