Оновлено 1 тиждень тому

Оновлено 1 тиждень тому

Оновлено 1 тиждень тому

Оновлено 1 місяць тому

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

Оновлено 7 місяці тому