search

affeldt-aist / coq2html

An HTML documentation generator for Coq source files
GNU General Public License v2.0
1 stars 3 forks source link

sumbool notation #43

Open yoshihiro503 opened 5 months ago

yoshihiro503 commented 5 months ago 
Definition sb (P: Prop) := {P} + {~P}.

DSC_0290