Yusuf's Thoughts
Search
Search
Dark mode
Light mode
Explorer
theories
1 item with this tag.
Apr 16, 2026
L04 - First-Order Theories
program-verification
first-order-logic
theories
equality
arithmetic