Name : R-subformula
| |
Version : 0.1.0
| Vendor : obs://build_opensuse_org/devel:languages:R
|
Release : lp153.2.13
| Date : 2024-06-14 11:13:44
|
Group : Development/Libraries/Other
| Source RPM : R-subformula-0.1.0-lp153.2.13.src.rpm
|
Size : 0.07 MB
| |
Packager : (none)
| |
Summary : Create Subformulas of a Formula
|
Description :
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.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/R:/autoCRAN/openSUSE_Leap_15.3/x86_64 |