This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Noah Diewald 4cddd6b0c9
first commit
1 year ago
README.md first commit 1 year ago
SimpleFragment.v first commit 1 year ago

README.md

nabese