Uppdaterad 1 vecka sedan

Uppdaterad 1 vecka sedan

Uppdaterad 1 vecka sedan

Uppdaterad 1 månad sedan

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

Uppdaterad 7 månader sedan