Formal proof

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

Field Hierarchy

Parent
Mathematics 21.8M papers	Geometry 6.3M papers	Mathematical proof 43.7k papers
Current
Formal proof 771 papers
Child
Informal proof 0 papers

Trends

Notes

History