A tale of four theorem provers

2 points | by whwhyb 7 hours ago