Proof assistant

https://www.wikidata.org/wiki/Q11387554

Field Hierarchy

Parent
Mathematics 21.1M papers	Geometry 6.2M papers	Mathematical proof 44.1k papers
Current
Proof assistant 2,098 papers
Child

Trends

Notes

History