Binary package “libssreflect-ocaml” in ubuntu trusty
small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
Source package
Published versions
- libssreflect-ocaml 1.5~rc1-3 in amd64 (Proposed)
- libssreflect-ocaml 1.5~rc1-3 in amd64 (Release)
- libssreflect-ocaml 1.5~rc1-3 in arm64 (Proposed)
- libssreflect-ocaml 1.5~rc1-3 in arm64 (Release)
- libssreflect-ocaml 1.5~rc1-3 in armhf (Proposed)
- libssreflect-ocaml 1.5~rc1-3 in armhf (Release)
- libssreflect-ocaml 1.5~rc1-3 in i386 (Proposed)
- libssreflect-ocaml 1.5~rc1-3 in i386 (Release)
- libssreflect-ocaml 1.5~rc1-3 in powerpc (Proposed)
- libssreflect-ocaml 1.5~rc1-3 in powerpc (Release)
- libssreflect-ocaml 1.5~rc1-3 in ppc64el (Release)