This website requires JavaScript.
Tutki
Apua
Rekisteröidy
Kirjaudu sisään
noah
/
nabese
Tarkkaile
1
Tähti
0
Fork
You've already forked nabese
0
Koodi
Ongelmat
Pull-pyynnöt
Julkaisut
Wiki
Toiminta
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
1
Commit
1
Haara
0
Tagit
26
KiB
Coq
100%
master
Go to file
HTTPS
Lataa ZIP
Lataa TAR.GZ
Download BUNDLE
Kloonaa VS Codessa
Cite this repository
APA
BibTeX
Peruuta
Noah Diewald
4cddd6b0c9
first commit
2019-05-02 11:26:54 -04:00
README.md
first commit
2019-05-02 11:26:54 -04:00
SimpleFragment.v
first commit
2019-05-02 11:26:54 -04:00
README.md
nabese