1 search result for "tag:"date:2025-01-30""
Showing 1 - 1
-
coq-paco
No documentation
Coq library implementing parameterized coinduction4.2.3BSD-3-ClauseUsed by 3 other packages31 Jan 2025
No documentation