search

coq-community / topology

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Other
47 stars 10 forks source link

Quotient space definition. #8

Closed stop-cran closed 3 years ago

stop-cran commented 4 years ago

Also some basic proofs.

palmskog commented 3 years ago

@stop-cran do you still want to get this PR merged? If so, the project was recently updated to fix CI and support for recent Coq, so the changes will need a rebase. We are also looking for someone to co-maintain the project, is this something you are interested in?

stop-cran commented 3 years ago

@palmskog yes, I'm interested in co-maintaining this project. Also will check latest CI changes for this PR.

palmskog commented 3 years ago

@stop-cran I invited you to join the coq-community organization. Once you accept the invitation, we can set you up as co-maintainer of Topology.