Updated 4 days ago

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 6 days ago

Updated 2 weeks ago

Updated 3 months ago

Updated 5 months ago

This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.

Updated 1 year ago