science-logic

Debian Science Logic packages

Install

All systems
curl cmd.cat/science-logic.sh
Debian Debian
apt-get install science-logic
Ubuntu
apt-get install science-logic
image/svg+xml Kali Linux
apt-get install science-logic
Windows (WSL2)
sudo apt-get update sudo apt-get install science-logic
Raspbian
apt-get install science-logic

science-logic

Debian Science Logic packages

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.