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

Links for libghc-sbv-doc

Debian Resources:

Download Source Package haskell-sbv:

Maintainers:

External Resources:

Homepage [leventerkok.github.io]

Similar packages:

symbolic Haskell theorem prover using SMT solving; documentation

Express properties about Haskell programs and automatically prove them using SMT (Satisfiability Modulo Theories) solvers.

This package provides the documentation for a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

Other Packages Related to libghc-sbv-doc

depends

recommends

suggests

enhances

dep: haddock-interface-42

virtual package provided by ghc

rec: ghc-doc

documentazione per il sistema di compilazione Haskell Glasgow
rec: libghc-async-doc

esegue operazioni IO in modo asincrono e attende i loro risultati; documentazione
rec: libghc-libbf-doc

collegamento alla libreria libBF; documentazione
rec: libghc-quickcheck2-doc

libreria Haskell per test automatici per GHC; documentazione
rec: libghc-random-doc

generatore di numeri casuali per Haskell; documentazione
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

documentazione per camminamenti generici di tipo uniforme; documentazione
rec: libjs-mathjax

motore di visualizzazione JavaScript per LaTeX e MathML

sug: libghc-sbv-prof

symbolic Haskell theorem prover using SMT solving; profiling libraries

Download libghc-sbv-doc

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	1,949.3 kB	50,908.0 kB	[list of files]