Updated 2024-04-06 17:03:12 -04:00
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
The story of Oncaye making contact with missionaries in Coca.
Updated 2021-03-29 11:33:47 -04:00