https://github.com/clarus/coq-clarus-clojure-test

Tests for the branch "Clojure" of https://github.com/clarus/coq.
https://github.com/clarus/coq-clarus-clojure-test

Last synced: 4 months ago
JSON representation

Tests for the branch "Clojure" of https://github.com/clarus/coq.

• Host: GitHub
• URL: https://github.com/clarus/coq-clarus-clojure-test
• Owner: clarus
• License: mit
• Created: 2014-07-28T16:07:57.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2014-07-30T15:03:36.000Z (over 11 years ago)
• Last Synced: 2025-04-22T12:18:54.094Z (8 months ago)
• Language: Clojure
• Size: 184 KB
• Stars: 1
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# coq-clarus-clojure-test

Tests for the branch *Clojure* of https://github.com/clarus/coq.

To run the tests, clone the branch *Clojure* of https://github.com/clarus/coq in `coq/`:

    git clone https://github.com/clarus/coq.git

    cd coq/

    git branch Clojure

    cd ..

Then run the `Dokerfile`:

    docker build --tag=coq-clojure .

It will install OCaml and Clojure in a container, compile Coq and run some tests. If you want to connect to the generated image:

    docker run -ti coq-clojure /bin/bash