update to 8.11 - Githubissues

coq-community / topology

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

Other

46 stars 10 forks source link

Closed amiloradovsky closed 4 years ago

amiloradovsky commented 4 years ago

opening the PR mostly for CI purposes

Related to coq-community/zorns-lemma/pull/6