• Mathematics Formalized in Coq
• Software Verified in Coq
• Sorting
• Other Algorithms