Šai lapas darbībai ir nepieciešams JavaScript.
Izpētīt
Palīdzība
Reģistrēties
Pierakstīties
noah
/
nabese
Vērot
1
Pievienot zvaigznīti
0
Atdalīts
Repozitorijs nabese jau ir atdalīts
0
Kods
Problēmas
Izmaiņu pieprasījumi
Laidieni
Vikivietne
Aktivitāte
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
1
Revīzija
1
Atzars
0
Tagi
26
KiB
Coq
100%
master
Iet uz failu
HTTPS
Lejupielādēt ZIP
Lejupielādēt TAR.GZ
Lejupielādēt BUNDLE
Atvērt VS Code
Citēt šo repozitoriju
APA
BibTeX
Atcelt
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