mertdumenci/lampert
An implementation of the FOL minimization procedure described in Lampert (2017).
HaskellBSD-3-Clause
Stargazers
No one’s star this repository yet.
An implementation of the FOL minimization procedure described in Lampert (2017).
HaskellBSD-3-Clause
No one’s star this repository yet.