Towards Minimal Proof Systems

Why and how to simplify the way we prove something?

We live in a world with bunch of sophistication, over-engineering and information overload, where we are tempted to use buzzwords and virtual realities to fill the void of lack of basic understanding.

Source: Life Is Complicated, and That Is Good, aier.org by Stephen Davies

In general, the computer science industry is filled with developers who seem to advertise their…