Giters

mtrsk / Regex-Play-Coq

Regex Play in Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Regex-Play-Coq

Regex Play in Coq

Running

With Nix

$ nix-shell$

Docker

$ docker image build -t coqproject .
$ docker container run --rm -it coqproject nix-shell

About

Regex Play in Coq

License:GNU General Public License v3.0

Languages

Language:Coq 91.3%Language:Nix 5.4%Language:Shell 2.0%Language:Makefile 0.7%Language:Dockerfile 0.5%