| Name : texlive-natded
| |
| Version : svn32693.0.1
| Vendor : (none)
|
| Release : 42.fc28.2
| Date : 2018-03-11 02:38:53
|
| Group : Applications/Publishing
| Source RPM : texlive-2016-42.20160520.0.riscv64.fc28.src.rpm
|
| Size : 0.01 MB
| |
| Packager : (none)
| |
| Summary : Typeset natural deduction proofs
|
Description :
The package provides commands to typeset proofs in the style
used by Jaskowski, or that of Kalish and Montague.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/alt/risc-v/RPMS/noarch |
