arend-lib icon indicating copy to clipboard operation
arend-lib copied to clipboard

Published 20 hours ago • verified publisher icon JetBrains

Create FiniteMultiset.ard

Open ice1000 opened this issue 2 years ago • 0 comments

This is an interesting demonstration of higher inductive types.

ice1000 avatar Dec 01 '22 04:12 ice1000