information about Formal proof field

Formal proof

https://www.wikidata.org/wiki/Q2762418
Field Hierarchy
Parent
Mathematics
21.1M papers
Geometry
6.2M papers
Mathematical proof
44.1k papers
Current
Formal proof
752 papers
Child
Trends