A lean4 implementation attempt of Pijul
README.md

Pijul.lean

A non-serious attempt to implement Pijul in Lean4.