Bu web sitesinin çalışması için JavaScript gereklidir.
Keşfet
Yardım
Üye Ol
Giriş Yap
noah
/
nabese
İzle
1
Yıldızla
0
Çatalla
nabese deposunu zaten çatalladınız
0
Kod
Konular
Değişiklik İstekleri
Sürüm
Wiki
Aktivite
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
1
İşle
1
Dal
0
Etiket
26
KiB
Coq
100%
master
Dosyaya git
HTTPS
ZIP indir
TAR.GZ indir
BUNDLE indir
VS Code'ta klonla
Bu depoya atıf ver
APA
BibTeX
İptal
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