Giters

h2-math / coq-nahas-tutorial

Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coqinteractive-theorem-provinglogicmathproof-assistant

This repository is not active

About

Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v

coqinteractive-theorem-provinglogicmathproof-assistant

Languages

Language:HTML 67.2%Language:Coq 32.8%