Rashed Ahmad
@rashed.link
Logician and philosopher at Kuwait University
To attend, please register at www.kuwaitlogic.com/registration
February 5, 2025 at 4:54 AM
To attend, please register at www.kuwaitlogic.com/registration
Day 1 of learning Manim. This is the liar's paradox in sequent calculus presented as transformations.
December 22, 2024 at 6:06 PM
Day 1 of learning Manim. This is the liar's paradox in sequent calculus presented as transformations.