ohtt icon indicating copy to clipboard operation
ohtt copied to clipboard

Published 20 hours ago • verified publisher icon mikeshulman

Natural numbers

Open mikeshulman opened this issue 3 years ago • 0 comments

  • [x] encode-decode, decidable equality, sethood
  • [ ] ap and refl on the constructors
  • [ ] ap-ind
  • [ ] refl-ind
  • [ ] tr
  • [ ] lift
  • [ ] utr and ulift

mikeshulman avatar Jul 05 '22 20:07 mikeshulman