search

JonasOlson / latex-mall

Alla moderna bekvämligheter
2 stars 0 forks source link

Logiknotation #24

Open JonasOlson opened 8 years ago

JonasOlson commented 8 years ago

https://en.wikipedia.org/wiki/Rule_of_inference#The_standard_form_of_rules_of_inference

http://matt.might.net/articles/logical-literacy/

JonasOlson commented 7 years ago

https://www.reddit.com/r/LaTeX/comments/67puiw/is_there_a_package_to_help_me_write_type_systems/