Public Pastes
daily pastebin goal
67%
SHARE
TWEET

Untitled

a guest Jun 10th, 2015 5 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
Top