Tex: Natural deduction trees with subproofs in boxes

Channel:
Peter Schneider
Subscribers:
4,110
Published on ● Video Link: https://www.youtube.com/watch?v=MPZo4FSA4h8


Duration: 0:00
4 views
0

Natural deduction trees with subproofs in boxes
I hope you found a solution that worked for you :)
The Content is licensed under (https://meta.stackexchange.com/help/l...) CC BY-SA.
Attention! This video does always use the same license as the source!
Thanks to all those great people for their contributions!

(tex.stackexchange.com/users/5584/alexey-romanov)Alexey Romanov
(tex.stackexchange.com/users/39222/cfr)cfr
(tex.stackexchange.com/users/245790/ms-spo)MS-SPO
(tex.stackexchange.com/users/245790/ms-spo)MS-SPO
A special thanks goes out to the (tex.stackexchange.com/questions/726813/natural-deduction-trees-with-subproofs-in-boxes)Stackexchange community

I wish you all a wonderful day! Stay safe :)
If anything is off, please write me at peter D.O.T schneider A.T ois42.de

trees logicproof framed logic



Other Videos By Peter Schneider


2024-09-22Tex: Storing multiple arrays of strings in a command
2024-09-21Tex: Edge and shading of a cylinder
2024-09-21Tex: Contents and Table of Contents
2024-09-21Ethereum: Struggling with an eth_call query
2024-09-21Debug derive macro adds extra "&" to last field
2024-09-21How do I get rid of a phantom USB device in Linux?
2024-09-21Reversing the order of column names that contain both numbers and letters in R
2024-09-21AVR Instruction Sets and "missing" instructions by device
2024-09-21Mathematica: How Do I Get Rid of the Natural Language Processing?
2024-09-21Mathematica: Missing plot area in ContourPlot
2024-09-20Tex: Natural deduction trees with subproofs in boxes
2024-09-19Tex: How to delete an entire index?
2024-09-19Apple: Why iPhone 6S & iPad Pro (2015) do not connect to WPA3 network?
2024-09-19deploy a powershell script to 50 devices using Intune
2024-09-19Linux, How to cleanup random duplicates?
2024-09-19Mathematica: Button That Makes a Variable Change Between Two Values Over a Specified Time Duration
2024-09-19Nginx rewrite directive loops, location with trailing slash doesn't match, why?
2024-09-17Wordpress: Trying to require log in to view any post/pages/taxnomy
2024-09-17Gis: Why does readLAS() not work in older versions of lidR anymore?
2024-09-17Windows 11 still connected to domain after complete format and fresh reinstall
2024-09-17Salesforce: fflib Unit of Work Mocking with registerNew More Than Once with a Single Record