The seventeen provers of the world:
http://www.cs.ru.nl/~freek/comparison/index.html
Seems like they could have provided more of a summary of this comparison. E.g., they could have provided "lines of proof script" for each, but I guess that particular comparison (or any one number) would be unfair.
I don't know Metamath, but the Metamath one looks strange.
No comments:
Post a Comment