(Q6045337)
Statements
2010
0 references
ITP (English)
0 references
International Conference on Interactive Theorem Proving (English)
1 reference
Identifiers
1 reference
ITP: Interactive Theorem Proving
1 reference
TPHOLs: Theorem Proving in Higher Order Logics
1 reference