What's your favourite assisted theorem prover?
- by Danny King
Hi all,
I'm hoping to pick one of the many assisted theorem provers (rather than automatic ones) but there are rather a lot to choose from!
Does anyone have any you prefer and may I ask why?
Thanks!