▲ 1 pointsDo theorem provers demonstrate their own correctness?cs.stackexchange.comby nill0·1y ago·0 comments·view on hn ↗