English

English Español Français فارسی 日本語

EntityQ8851959· pop 6

Category:Theorem proving software systems

Sign in to save

Wikimedia category

Wikidata facts

Instance of: Wikimedia category

Show 1 more fact

category's main topic: proof assistant

via Wikidata · CC0

Available in 6 languages

via Wikidata sitelinks · CC0