Skip to content

CompatHelper: add new compat entry for ACSets at version 0.2, (keep existing compat)#12

Closed
algebraicjuliabot wants to merge 46 commits intomainfrom compathelper/new_version/2024-01-13-00-49-52-747-00635157209

Commits

Commits on Nov 13, 2023

Commits on Dec 15, 2023

Commits on Dec 17, 2023

Commits on Jan 4, 2024