Atualizado 1 semana atrás

Atualizado 1 semana atrás

Atualizado 1 semana atrás

Atualizado 1 mês atrás

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

Atualizado 7 meses atrás