Presumably this is aimed at people that want to take advantage of it in Lean.

		lgas 4 months ago \| parent \| context \| favorite \| on: Automated Lean Proofs for Every Type Presumably this is aimed at people that want to take advantage of it in Lean.