Skip to content

GitLab

Explore

Sign in

Liu, Tony
predlog

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

Copy SSH clone URLgit@gitlab.doc.ic.ac.uk:tl2020/predlog.git
Copy HTTPS clone URLhttps://gitlab.doc.ic.ac.uk/tl2020/predlog.git