Hecke.jl icon indicating copy to clipboard operation
Hecke.jl copied to clipboard

Published 20 hours ago • verified publisher icon thofma

Move Assertions.jl to AbstractAlgebra

Open mgkurtz opened this issue 8 months ago • 0 comments

I have actually used the @req concept in https://github.com/Nemocas/AbstractAlgebra.jl/pull/1360/ and as assertions are an abstract concept in general, they seem to fit into AbstractAlgebra 😄

mgkurtz avatar Oct 30 '23 12:10 mgkurtz