seanpm2001/Learn-Coq

A repository for showcasing my knowledge of the Coq programming language, and continuing to learn the language.

Language: Coq - Size: 651 KB - Last synced at: 3 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1