Patrick Lühne b55bc82b1d Add option for proof direction		2020-05-07 02:53:48 +02:00
..
tptp	Add missing files	2020-02-05 04:28:02 +01:00
human_readable.rs	Work in progress	2020-05-05 19:40:57 +02:00
tptp.rs	Add option for proof direction	2020-05-07 02:53:48 +02:00