Oops, just edited. I'm still fairly new to this area, so I keep mixing up my ter...

		smj-edison 11 days ago \| parent \| context \| favorite \| on: “Why not just use Lean?” Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :)

		help