first-order-logic

Apr 16, 2026

• program-verification
• first-order-logic
• theories
• equality
• arithmetic

Apr 14, 2026

• program-verification
• first-order-logic
• logic
• formal-methods