formed
formula editor for first-order logic formulae
Install
- All systems
-
curl cmd.cat/formed.sh
- Debian
-
apt-get install formed - Ubuntu
-
apt-get install formed - Windows (WSL2)
-
sudo apt-get updatesudo apt-get install formed - Raspbian
-
apt-get install formed - Dockerfile
- dockerfile.run/formed
formed
formula editor for first-order logic formulae
Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things.