search

leanprover / reference-manual

Apache License 2.0
26 stars 3 forks source link

Bool #162

Open david-christiansen opened 6 days ago

david-christiansen commented 6 days ago

What question should the reference manual answer?

What are booleans? How do they relate to Prop? Do the various operators short-circuit?