Giters

JasonGross / coq-scripts

Various useful scripts for dealing with Coq files

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

coq-scripts

Various useful scripts for dealing with Coq files

About

Various useful scripts for dealing with Coq files

License:MIT License

Languages

Language:Coq 64.0%Language:Shell 20.9%Language:Python 12.2%Language:Haskell 2.9%