Aggiornato 1 settimana fa

Aggiornato 1 settimana fa

Aggiornato 1 settimana fa

Aggiornato 1 mese fa

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

Aggiornato 7 mesi fa