This website requires JavaScript.
Verkennen
Help
Registreren
Inloggen
noah
/
nabese
Volgen
1
Ster
0
Vork
Je hebt nabese al geforked
0
Code
Kwesties
Pull-aanvragen
Publicaties
Wiki
Activiteit
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
1
Commit
1
Branch
0
Labels
26
KiB
Coq
100%
master
Go to file
HTTPS
ZIP downloaden
TAR.GZ downloaden
BUNDLE downloaden
Kloon in VS Code
Cite this repository
APA
BibTeX
Annuleren
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