Proof assistant

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

Field Hierarchy

Parent
Mathematics 22.2M papers	Geometry 6.4M papers	Mathematical proof 44.3k papers
Current
Proof assistant 2,129 papers
Child
POPLmark challenge 0 papers	IsaPlanner 0 papers	Hol light 0 papers

Trends

Notes

History