The main goal of this project is to bring Maths ️ closer to the non-mathematicians, making special attention to the engineers of Karumi 👨🏻‍💻. Any feedback is welcome, 😄 so please feel free to ask ...

In this lecture we design a judgmental formulation of classical logic based on proof by contradiction and two new judgments, A false and # (contradiction). We give several examples of classical proofs ...