aeneas icon indicating copy to clipboard operation
aeneas copied to clipboard

Published 20 hours ago • verified publisher icon AeneasVerif

Remove the `admit`s from the backends

Open sonmarcho opened this issue 2 years ago • 0 comments
trafficstars

Some definitions in the various backends have admits

sonmarcho avatar Oct 05 '23 08:10 sonmarcho