最後更新於 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 月之前