업데이트됨 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 달 전