#

formal-logic

Here are 4 public repositories matching this topic...

principia

LogicalAtomist / principia

The Principia Rewrite

latex coq logic latex-packages formal-mathematics coq-ecosystem formal-proofs formal-logic history-of-philosophy

Updated May 18, 2024
TeX

Lipen / discrete-math-course

🌌 Supplementary materials for Discrete Math course at ITMO University

tex homework set-theory cheatsheet discrete-mathematics graph-theory combinatorics binary-relations formal-logic

Updated Nov 5, 2024
TeX

jossmoff / buzzproof

🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

latex logic natural-deduction formal-logic linear-natural-deduction

Updated Mar 23, 2021
TeX

GonzalezCastillo / leavingthecave

Leaving the cave: an introduction to mathematical thinking.

mathematics set-theory creative-commons textbook formal-logic

Updated Oct 2, 2021
TeX

Improve this page

Add a description, image, and links to the formal-logic topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the formal-logic topic, visit your repo's landing page and select "manage topics."