search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Note that '|' is sometimes used for 'or' #69

Closed david-a-wheeler closed 1 year ago

david-a-wheeler commented 1 year ago

This is true, for example, for prover9.

Signed-off-by: David A. Wheeler dwheeler@dwheeler.com

david-a-wheeler commented 1 year ago

This fixes issue https://github.com/rzach/forallx-yyc/issues/68

rzach commented 1 year ago

As mentioned https://github.com/rzach/forallx-yyc/issues/68#issuecomment-1653702531 it's fixed; thanks again