# PLOUF
Proof Language Of Undeniable Facts