最終更新 2024-03-25 16:45:16 -04:00
最終更新 2024-03-23 02:54:09 -04:00
最終更新 2024-02-25 07:01:39 -05:00
最終更新 2024-01-30 20:15:58 -05:00
Professional website source for Noah Diewald
最終更新 2023-12-02 15:51:15 -05:00
最終更新 2023-07-30 01:06:29 -04:00
最終更新 2023-07-11 12:17:30 -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.
最終更新 2021-06-04 03:14:39 -04:00
The story of Oncaye making contact with missionaries in Coca.
最終更新 2021-03-29 11:33:47 -04:00
This is code for the coq proof assistant laying out a basic analysis of a case of morphological overabundance in Potawatomi.
最終更新 2019-11-19 21:39:35 -05:00