first-order-substitution

There are 2 repositories under first-order-substitution topic.

yakuza8/first-order-predicate-logic-theorem-prover
Autonomous Theorem Prover for First Order Predicate Logic
Language:Python10 2 04
battila7/first-order-substitution
Substituion in first order logic.
Language:F#