1 search result for "tag:"date:2023-08-28""

Showing 1 - 1

coq-operads

No documentation

A Coq library defining operads

keyword:operad category:Mathematics/Algebra date:2023-08-28 logpath:Operads

Zachary Flores Angelo Taranto Eric Bond Yakir Forman

1.1.0

Used by 0 other packages

29 Aug 2023