Pages that link to "Item:Q682381"

The following pages link to A formalization of metric spaces in HOL Light (Q682381):

Displaying 3 items.

• The flow of ODEs: formalization of variational equation and Poincaré map (Q1722644) (← links)
• From types to sets by local type definition in higher-order logic (Q1722645) (← links)
• Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)