GitHub repository: FlorianSteinberg/metric
Primary language: Coq
Created: 2019-01-03T23:44:43Z
Description: a classical formalization of metric spaces