/coq-lambek-nat

Lambek's theorem & application on Nat object in Coq

Primary LanguageCoqGNU General Public License v3.0GPL-3.0

This repository is not active