Giters

coq-tactician / coq-tactician.github.io

Tactician's website

Home Page:https://coq-tactician.github.io

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Tactician's website

https://coq-tactician.github.io

Languages

Language:HTML 96.8%Language:SCSS 1.9%Language:JavaScript 1.0%Language:TeX 0.1%Language:CSS 0.1%Language:Coq 0.1%