Mathematical Error Example Module
With this QEDEQ module error handling is demonstrated.
Subject variable is already bound in sub formula. See line 36.
Michael Meyling
Error Example
Errors
second quantification over same variable
Second Quantification