Giters

SimonBoulier / QuickChick

Randomized Property-Based Testing Plugin for Coq

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Randomized Property-Based Testing Plugin for Coq

License:Other

Languages

Language:Coq 69.3%Language:OCaml 29.4%Language:Makefile 1.1%Language:Shell 0.1%Language:Emacs Lisp 0.0%Language:Dockerfile 0.0%