You can edit almost every page by Creating an account and confirming your email.
See automated theorem proving.
This category "Theorem proving software systems" is from Wikipedia if otherwise notified.
The following 2 pages are in this category, out of 2 total.
