jonaprieto/agda-prop

φ∨⊥-to-φ, and subst⊢∨₁≡ postulated

jonaprieto opened this issue · 0 comments

jonaprieto commented

Also are not present in the README.md.