Pages that link to "Item:Q3453102"

The following pages link to Mining the Archive of Formal Proofs (Q3453102):

Displaying 11 items.

• Archive Formal Proofs (Q40327) (← links)
• Lyndon words formalized in Isabelle/HOL (Q832940) (← links)
• The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
• A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
• A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
• Deep Generation of Coq Lemma Names Using Elaborated Terms (Q5048996) (← links)
• Computer Certification of Generalized Rough Sets Based on Relations (Q5082208) (← links)
• Automated Comparative Study of Some Generalized Rough Approximations (Q5164851) (← links)
• Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
• Combining higher-order logic with set theory formalizations (Q6161232) (← links)
• Verified reductions for optimization (Q6536123) (← links)