The original design of this algorithm was imperfect, and so it has been replaced by better (correct) matching tools in the new Lurch deductive engine.
Do not use this repository any longer.
lurchmath/first-order-matching
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|