hkrsnd / folpy

An implementation of first-order logic in Python.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

An implementation of first-order logic in Python.

License:MIT License


Languages

Language:Python 100.0%