Обновлено 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 месяцев назад