This website uses cookies.
We use cookies to improve your online experience. By continuing to use our website we assume you agree to the placement of these cookies.
To learn more, you can find in our Privacy Policy.

information about Proof assistant field

Proof assistant

https://www.wikidata.org/wiki/Q11387554
Field Hierarchy
Parent
Mathematics
21.4M papers
Geometry
6.3M papers
Mathematical proof
44.5k papers
Current
Proof assistant
2,135 papers
Child
Trends
Field Trends