QED - A Propositional Logic Game

Channel:
United States Tea Leaves
Subscribers:
7,820
Published on ● Video Link: https://www.youtube.com/watch?v=yJ_ZIWhHffQ


Category:
Vlog
Duration: 20:27
549 views
31

In 2022, I showed you Joachim Breitner's "The Incredible Proof Machine". Now, let's take a look at a similar "gamified proof assistant", Terence Tao's QED.



Other Videos By Tea Leaves


2024-02-16Let's Play The Fool's Errand Part 6: More of the High Priestess
2024-02-10Let's Play The Fool's Errand, Part 5
2024-02-02QED, the Propositional Logic Game, Part 2
2024-01-26Let's Play The Fool's Errand Part 4 - HIGH PRIESTESS QUARANTINE ZONE
2024-01-19Turing's World - An Introduction to Computability Theory
2024-01-12Let's Play: The Fool's Errand, Part 3
2024-01-05Let's Play: The Fool's Errand, Part 2
2023-12-31Ludus Mortis - A Roman (Dungeon) Holiday
2023-12-29Let's Play: The Fool's Errand, Part 1
2023-12-23Let's Play "The Fool's Errand"
2023-12-22QED - A Propositional Logic Game
2023-12-16Goblin Slayer homage to Wizardry 1
2023-09-30Wizardry: The Murphy's Ghost Trick
2023-09-16Wizardry: Proving Grounds of the Mad Overlord
2023-09-16Let's Play Wizardry: Proving Grounds of the Mad Overlord
2023-07-2050 Years of Text Games
2023-07-09Eye of The Beholder 1
2023-04-25Together in Battle: The Tea Leaves Preview
2023-04-21ChipWits: The Interview
2023-04-10Let's Play: Paper Mario The Thousand-Year Door
2023-04-07Pascal Genie - Structured Program Editing in 1986


Tags:
proof assistant
propositional logic
QED
logic games