Extend language definition with Prop subset, operator, nat, and Con.
Extend language definition with Prop subset, operator, nat, and Con.
kwangkim/pigment,kwangkim/pigment,kwangkim/pigment,brixen/Epigram