This website requires JavaScript.
Explore
Help
Register
Sign In
noah
0 Followers
·
0 Following
Joined on
2019-11-16
Repositories
9
Projects
Packages
Public Activity
Starred Repositories
Search
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
morphexamples
Coq
0
0
This repository contains some basic fragments, or analyses in Coq, using Lexical Proof Morphology. The point is primarily to flesh out details of simplified analyses provided at conferences.
Updated
2021-06-04 03:14:39 -04:00
nabese
Coq
0
0
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
Updated
2019-11-19 21:39:35 -05:00