scratch
§
Mechanical Theorem-Proving by Model Elimination [WIP ]
created 2024-12-22
A simplified format for the model elimination procedure
❦