logic 2

• Do you recogize this tree? Sep 22, 2026
• Separation Logic and Forall Sep 14, 2026