Paket: libghc-sbv-doc (10.2-2)

libghc-sbv-doc için bağlantılar

• eLxr Yama Takipçisi

haskell-sbv Kaynak Paketini İndir:

• [haskell-sbv_10.2-2.debian.tar.xz]
• [haskell-sbv_10.2-2.dsc]
• [haskell-sbv_10.2.orig.tar.gz]

Geliştiriciler:

• Debian Haskell Group
• Clint Adams

Dış Kaynaklar:

• Ana Sayfa [leventerkok.github.io]

Benzer paketler:

• libghc-sbv-prof
• libghc-what4-doc
• libghc-simple-smt-doc
• libghc-what4-dev
• libghc-what4-prof
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-diagrams-solve-doc
• libcvc4-7
• libghc-copilot-theorem-doc
• libcvc4parser7

libghc-sbv-doc ile İlgili Diğer Paketler

• dep: haddock-interface-42

  sanal paketi sağlayan ghc

• rec: ghc-doc

  Documentation for the Glasgow Haskell Compilation system

• rec: libghc-async-doc

  run IO operations asynchronously and wait for their results; documentation

• rec: libghc-libbf-doc

  Binding to the libBF library; documentation

• rec: libghc-quickcheck2-doc

  Haskell automatic testing library for GHC; documentation

• rec: libghc-random-doc

  random number generator for Haskell; documentation

• rec: libghc-sbv-dev

  symbolic Haskell theorem prover using SMT solving

• rec: libghc-syb-doc

  Generic programming library for Haskell; documentation

• rec: libghc-uniplate-doc

  Documentation for uniform type generic traversals; documentation

• rec: libjs-mathjax

  JavaScript display engine for LaTeX and MathML

• sug: libghc-sbv-prof

  symbolic Haskell theorem prover using SMT solving; profiling libraries

libghc-sbv-doc indir