Debian logoDebian Screenshots >

science-logic

Debian Science Logic packages

Description

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

https://wiki.debian.org/DebianScience/


Statistics

1120 other people were interested in this package here. The newest known version of this software is 1.13 (Information last updated about 9 hours ago.)