معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری دانلود نسخه سورس

توضیحات

Forest-based proof trees (symbolic logic)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Fedora 39
مخزن	Fedora Everything noarch
نام بسته	texlive-prooftrees
نام فایل بسته	texlive-prooftrees-svn52221-69.fc39.noarch.rpm
نسخه بسته	svn52221
انتشار بسته	69.fc39
معماری بسته	noarch
نگهدارنده	-
تاریخ ساخت	Fri 31 Mar 2023 01
هاست سازنده	buildvm-a64-06.iad2.fedoraproject.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://tug.org/texlive/
مجوز	LPPL-1.3c
حجم دانلود	28K
حجم نصب	60.485K

The package supports drawing proof trees of the kind often used in introductory logic classes, especially those aimed at students without strong mathemtical backgrounds. Hodges (1991) is one example of a text which uses this system. When teaching such a system it is especially useful to annotate the tree with line numbers, justifications and explanations of branch closures. prooftrees provides a single environment, prooftree, and a variety of tools for annotating, customising and highlighting such trees. A cross-referencing system is provided for trees which cite line numbers in justifications for proof lines or branch closures. prooftrees is based on forest and, hence, TikZ. The package requires version 2.0.2 of Forest for expected results and will not work with version 1.

جایگزین ها

بسته	نسخه	معماری	مخزن
texlive-prooftrees-doc-svn52221-69.fc39.noarch.rpm	svn52221	noarch	Fedora Everything

نیازمندی

مقدار	نام
-	tex-kpathsea
-	texlive-base
-	texlive-kpathsea-bin

ارائه دهنده

مقدار	نام
= 2023	tex(prooftrees.sty)
= 2023	tex-prooftrees
= 11:svn52221-69.fc39	texlive-prooftrees

نحوه نصب

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

dnf install texlive-prooftrees-svn52221-69.fc39.noarch.rpm

فایل ها

مسیرها
/usr/share/licenses/texlive-prooftrees
/usr/share/licenses/texlive-prooftrees/lppl1.3.txt
/usr/share/texlive/texmf-dist/tex/latex/prooftrees

گزارش تغییرات

تاریخ آخرین تغییر	جزئیات
2023-03-30	Remove unnecessary dependency on fontawesome-fonts
2023-03-28	fix broken dependencies in texlive-naive-ebnf and texlive-jwjournal (bz2181838)
2023-03-23	Update to TeXLive 2023 No longer in TeXLive: elegantbook, elegantnote, elegantpaper, tablestyles, pgf-cmykshadings soulutf is now part of soul
2023-03-09	update biblatex to 3.19 (svn66405) (bz2176089)
2023-01-24	drop texlive-ketcindy (it lives in texlive-base)
2023-01-21	Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2023-01-07	add missing dependencies to texlive-lua-uni-algos (bz2158837) hack up tabu a bit to try to fix longtable (bz2158820)
2023-01-03	Update to TeXLive 2022 (finally) update all the things add new packages rename packages (tl seems to have standardized on lowercase)
2022-09-19	Fixed #2126535, Fix symlink changes during %post and %postun
2022-09-09	Update biblatex to 3.18b (bz2100167)
2022-08-01	Rebuilt for ICU 71.1
2022-07-23	Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
2022-07-08	Rebuilt for Drop i686 JDKs
2022-04-13	Fixed #2073753 - texlive-chemfig is missing a dependency (texlive-simplekv)
2022-03-18	use biblatex tarballs from CTAN that have correct {DATE}/{VERSION} fields
2022-03-14	An empty release bump