SHARE
TWEET

Untitled

a guest Jun 10th, 2015 7 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. Coq 8.5 or later
  2. GHC 7.8 or later
  3. Cabal 1.18 or later (the Haskell Platform includes GHC and Cabal)
  4. Agda 2.4 or later
  5. OCaml 4.02 or later with OPAM 1.2 or later
  6. Sill 1.3 or later; if OPAM is installed, sill can be installed with opam install sill
  7. Proof General
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!
 
Top