Skip to content

The plainness modality

Amin Timany requested to merge naught into master

I have completed the implementation the naught modality and its basic rules. We have come up with better names perhaps than naught and Plain and definitely a better notation than the current one: ☃.

Edited by Robbert Krebbers

Merge request reports