coq-operads Versions (2)

Version Release Date Links
1.1.0 29 Aug 2023 Documentation
1.0.0 07 Jun 2023 Documentation