معرفی شرکت ها


texlive-lplfitch-0.9-10-omv4090.noarch.rpm


Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Fitch-style natural deduction proofs
ویژگی مقدار
سیستم عامل Linux
توزیع OpenMandriva rolling
مخزن OpenMandriva main-release noarch
نام بسته texlive-lplfitch
نام فایل بسته texlive-lplfitch-0.9-10-omv4090.noarch.rpm
نسخه بسته 0.9
انتشار بسته 10
معماری بسته noarch
نگهدارنده -
تاریخ ساخت Wed 23 Mar 2022 07
هاست سازنده huaweiomv0.rosalinux.ru
نوع بسته .rpm
آدرس صفحه اصلی http://www.ctan.org/tex-archive/macros/latex/contrib/lplfitch
مجوز LPPL1.3
حجم دانلود 236K
حجم نصب 255.869K
The package provides macros for typesetting natural deduction proofs in "Fitch" style, with subproofs indented and offset by scope lines. The proofs from use of the package are in the format used in the textbook Language, Proof, and Logic by Dave Barker-Plummer, Jon Barwise, and John Etchemendy.


نیازمندی

مقدار نام
- /bin/sh
- /bin/sh
- texlive-kpathsea
- texlive-tlpkg


ارائه دهنده

مقدار نام
= 0.9-10 texlive-lplfitch


نحوه نصب


نصب پکیج rpm texlive-lplfitch:

    urpmi install texlive-lplfitch-0.9-10-omv4090.noarch.rpm