Dominic Flück
The contributor Dominic Flück appears to be present as the CTAN community member K-Trout.
Automatically generate truth tables for given variables and statements
The contributor Dominic Flück appears to be present as the CTAN community member K-Trout.