GitHub repository: Joelbyte/weak-bases
Primary language: Logtalk
Description: An encoding of the Boolean co-clone lattice in Logtalk, with tools for constructing weak bases.