Similar repositories to vritvij/First-Order-Logic-Inference-Engine:

• vritvij/First-Order-Logic-Inference-Engine github similar
• schwering/limbo github similar
• hylang/hy github similar
• pandas-dev/pandas github similar