/instant-glue

Continuing development of Kokkinidis' Instant Glue prover (in Prolog) for multiplicative linear logic (*, -o).

Primary LanguageProlog

Stargazers