LaTeX tables of derivatives of differentiable logic operators │ ├── tautologies.py - the tautologies used in the consistency calculation ├── reports - folder containing experimental results (.csv files) │ ├── Makefile - creates plots and tables from the experimental results └── ...