Giters

sielenk / coq-playground

Various Coq files I'm working on.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Various Coq files I'm working on.

License:GNU General Public License v3.0

Languages

Language:Coq 100.0%