Michael D. George

icon company Mysten Labs icon location Ithaca, NY

Results 2 comments of Michael D. George

RingOrder for types with decidable equality

Sounds good. I'm still a bit new to Coq, but I'll see what I can do.

Mdgeorge/pkg alt extract parser

Replaced by #22452