science-logic
Debian Science Logic packages
Install
- All systems
-
curl cmd.cat/science-logic.sh
- Debian
-
apt-get install science-logic
- Ubuntu
-
apt-get install science-logic
- 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
- Dockerfile
- dockerfile.run/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.