idris-ct icon indicating copy to clipboard operation
idris-ct copied to clipboard

Published 20 hours ago • verified publisher icon statebox

Tactic morphism

Open marcosh opened this issue 4 years ago • 0 comments

@andrek-sbox was there still work to be done to complete this?

marcosh avatar Nov 05 '19 10:11 marcosh