LeanPlusPlus

This is a library for Lean 4 that adds a plus plus operator to the language, like in C.

Why?

Just cause.