Giters

KevOrr / coq-intro

Home Page:https://kevorr.github.io/coq-intro/Intro.v.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

https://kevorr.github.io/coq-intro/Intro.v.html

Languages

Language:Coq 100.0%