Rashed Ahmad
@rashed.link
Logician and philosopher at Kuwait University
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.