Geupdate 1 week geleden

Geupdate 1 week geleden

Geupdate 1 week geleden

Geupdate 1 maand geleden

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

Geupdate 7 maanden geleden