Skip to content

@coq-bench Coq bench

Change the repository type filter

All

    Repositories list

    6 repositories

    • coq-bench.github.io

      Public
      The website of coq-bench.
      MIT License
      •0•0•0•0•Updated Mar 10, 2024Mar 10, 2024

    • make-html

      Public
      Generate the bench website.
      HTML
      •
      MIT License
      •0•0•0•0•Updated Jan 22, 2024Jan 22, 2024

    • run

      Public
      Run the benchmarks.
      Ruby
      •
      MIT License
      •1•0•1•0•Updated Jan 8, 2024Jan 8, 2024

    • database

      Public archive
      Backup of the benchmarks.
      MIT License
      •0•0•0•0•Updated Feb 20, 2015Feb 20, 2015

    • database-old

      Public archive
      Backup of the benchmarks.
      MIT License
      •0•0•0•0•Updated Feb 10, 2015Feb 10, 2015

    • coq-bench.github.io-old

      Public archive
      The website of coq-bench.
      MIT License
      •0•0•0•0•Updated Feb 6, 2015Feb 6, 2015