What can you prove with it? Ignoring that advertised case a few years ago, what ...

		aborsy 6 months ago \| parent \| context \| favorite \| on: Ask HN: Looking for a good course to learn proof a... What can you prove with it? Ignoring that advertised case a few years ago, what are non-trivial theorems that you can prove with it?