search

artart78 / coq-bitset

Apache License 2.0
6 stars 5 forks source link

Docs webpage is showing 404 #3

Closed ju-sh closed 1 year ago

ju-sh commented 1 year ago

Hi.

The docs website of this library is giving 404.

https://artart78.github.com/coq-bitset/

artart78 commented 1 year ago

Fixed, thanks