3Baules

3Baúles is a logic channel: concepts and methods of proof explained step by step, with animation.

Each video explains one concept or one method as rigorously as possible, with animation in a style of its own. The topics are mathematical logic, including propositional and predicate logic, methods of proof, and set theory.

The animations are made with Remotion. The voice is synthetic, and the work is produced with the help of artificial intelligence. Each video’s sources, all open access, reliable and verifiable, are listed in its description.

Every week a vertical video is published on Shorts, tied to a full-length video.

The videos are in Spanish.