Actualizado hace 1 semana

Actualizado hace 1 semana

Actualizado hace 1 semana

Actualizado hace 1 mes

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

Actualizado hace 7 meses