Documentation

Foundation.IntProp.Kripke.Kripke