Proof assistant
English Wikipedia
6 thanks recorded by the source corpus.
View on Wikipedia: https://en.wikipedia.org/wiki/Proof_assistant
How editors see this article
The editors whose trusted networks rank it highest, strongest advocate first. Every editor gets a different order.