preface icon indicating copy to clipboard operation
preface copied to clipboard
verified publisher icon xvw

PBT for Divisble and Decidable

Open gr-im opened this issue 4 years ago • 0 comments

Laws are missing. (But it should, maybe, await for the Test reorganisation)

gr-im avatar Dec 06 '21 16:12 gr-im