GitHub repository: sazare/henkan-w2c
Primary language: Common Lisp
Created: 2022-05-30T22:28:05Z
Description: a too translating wff to clause