GitHub repository: rschumi0/ExAIS
Primary language: Java
Description: Prolog specification of TensorFlow layers