Giters
Coq bench (coq-bench)

Coq bench

coq-bench

Geek Repo

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

Github PK Tool:Github PK Tool

Coq bench's repositories

coq-bench.github.io

The website of coq-bench.

License:MITStargazers:0Issues:5Issues:0

coq-bench.github.io-old

The website of coq-bench.

License:MITStargazers:0Issues:2Issues:0

database

Backup of the benchmarks.

License:MITStargazers:0Issues:6Issues:0

database-old

Backup of the benchmarks.

License:MITStargazers:0Issues:3Issues:0

make-html

Generate the bench website.

Language:HTMLLicense:MITStargazers:0Issues:2Issues:1

run

Run the benchmarks.

Language:RubyLicense:MITStargazers:0Issues:3Issues:12