subformula
Create Subformulas of a Formula
A formula 'sub' is a subformula of 'formula' if all the terms on the right hand side of 'sub' are terms of 'formula' and their left hand sides are identical. This package aids in the creation of subformulas.
Versions across snapshots
| Version | Repository | File | Size |
|---|---|---|---|
0.1.0 |
rolling linux/jammy R-4.5 | subformula_0.1.0.tar.gz |
50.6 KiB |
0.1.0 |
rolling linux/noble R-4.5 | subformula_0.1.0.tar.gz |
50.6 KiB |
0.1.0 |
rolling source/ R- | subformula_0.1.0.tar.gz |
38.0 KiB |
0.1.0 |
latest linux/jammy R-4.5 | subformula_0.1.0.tar.gz |
50.6 KiB |
0.1.0 |
latest linux/noble R-4.5 | subformula_0.1.0.tar.gz |
50.6 KiB |
0.1.0 |
latest source/ R- | subformula_0.1.0.tar.gz |
38.0 KiB |
0.1.0 |
2026-04-26 source/ R- | subformula_0.1.0.tar.gz |
38.0 KiB |
0.1.0 |
2026-04-23 source/ R- | subformula_0.1.0.tar.gz |
38.0 KiB |
0.1.0 |
2026-04-09 windows/windows R-4.5 | subformula_0.1.0.zip |
53.7 KiB |
0.1.0 |
2025-04-20 source/ R- | subformula_0.1.0.tar.gz |
38.0 KiB |