information about Proof assistant field
Search everything
Home
Research Intelligence
Expert Finder
Scinapse Trends
Paper Search
Journal Search
Collections
Favorites
History
Submit Feedback
Proof assistant
https://www.wikidata.org/wiki/Q11387554
9,365
Authors
2,993
Publications
Field Hierarchy
Parent
Current
Proof assistant
2,993
papers
Child
Trends
Notes
History
View all history