2 search results for "tag:"keyword:setoid""
Showing 1 - 2
-
rocq-categories
No documentation
A library for category theory1.0LGPL-3.0-or-laterUsed by 0 other packages18 May 2026 -
rocq-partial-orders
No documentation
A library for setoids, partial orders, complete lattices and related structures1.0LGPL-3.0-or-laterUsed by 1 other packages18 May 2026