Giters

samuelgruetter / counterexamples

What's the best way to find counterexamples to Coq conjectures?

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

What's the best way to find counterexamples to Coq conjectures?

Languages

Language:Coq 76.1%Language:Isabelle 12.3%Language:SMT 4.3%Language:Java 3.7%Language:Shell 2.3%Language:Python 0.7%Language:Makefile 0.6%