topology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
46 stars
8 watching
10 forks
Language: Coq
last commit: about 2 months ago coqcoq-librarytopology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]