79398331

Date: 2025-01-29 22:24:59
Score: 3
Natty:
Report link

An interesting post! For Isabelle, only total functions are allowed. The excluded middle law holds for all total Boolean functions.

Reasons:
  • Low length (1):
  • No code block (0.5):
  • Unregistered user (0.5):
  • Low reputation (1):
Posted by: Hantao Zhang