md

Add pnpm action setup step in deploy workflow

add deploy

Cheat sheet

Add foundational concepts and theorems in predicate logic

Fix references in deduction rules section for clarity and accuracy