pml

ocaml

New version of the PML language and (classical) proof assistant

How to download and setup pml

Open terminal and run command

git clone https://github.com/rlepigre/pml.git

git clone is used to create a copy or clone of pml repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with pml https://github.com/rlepigre/pml/archive/master.zip

Or simply clone pml with SSH

[email protected]:rlepigre/pml.git

If you have some problems with pml

You may open issue on pml support forum (system) here: https://github.com/rlepigre/pml/issues

Similar to pml repositories

Here you may see pml alternatives and analogs

awesomo lambdasoup rescript-compiler reason bap google-drive-ocamlfuse milewski-ctfp-pdf SATySFi merlin ocaml pyre-check awesome-ocaml FStar tezos mirage irmin opam reason-react js_of_ocaml dune felix ocaml-cohttp bucklescript-tea NEAL ocaml-graphql-server ocaml-multicore lwt opam-repository reason-tools intro-to-reason-compilation