Skip to content

GitLab

Explore

Sign in

P

predlog

Project information

This is a implementation of first order predicate logic statement evaluator.

3 Commits
1 Branch
0 Tags

README
LICENSE

Created on

November 23, 2020

Loading