topology

Formal topology (and some probability) in Coq

GitHub

32 stars
6 watching
8 forks
Language: Coq
last commit: almost 6 years ago