最終更新 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ヶ月前