Pages that link to "Item:Q2907308"
From MaRDI portal
The following pages link to Dependencies in Formal Mathematics: Applications and Extraction for Coq and Mizar (Q2907308):
Displaying 5 items.
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)
- CoqPIE: An IDE Aimed at Improving Proof Development Productivity (Q2829283) (← links)
- Mizar: State-of-the-art and Beyond (Q3453119) (← links)
- Tools for MML Environment Analysis (Q3453132) (← links)
