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

#formalmethods