Updated 1 week ago

Updated 1 month ago

Updated 1 month ago

Updated 1 month ago

Updated 1 month ago

This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.

Updated 4 months ago