Pages that link to "Item:Q5200113"

The following pages link to Large Formal Wikis: Issues and Solutions (Q5200113):

Displaying 5 items.

• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
• Eliciting implicit assumptions of Mizar proofs by property omission (Q1945901) (← links)
• HOL(y)Hammer: online ATP service for HOL Light (Q2018657) (← links)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
• Premise selection for mathematics by corpus analysis and kernel methods (Q2352489) (← links)