Follow

Mtac2 looks fun. Exceptions, nontermination, and pattern-matching with arbitrary terms as patterns, in Coq.

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !