Patrick Lühne 37f1b301b5

Remove unused variable reference

2020-05-11 02:45:58 +02:00

..

commands

Add option for proof direction

2020-05-07 02:53:48 +02:00

input

Remove unused variable reference

2020-05-11 02:45:58 +02:00

output

Remove unused code

2020-05-11 02:43:42 +02:00

translate

Remove unused code

2020-05-11 02:43:42 +02:00

utils

Use foliage’s built-in variable declaration stack

2020-04-17 01:45:41 +02:00

commands.rs

Implement proof mechanism

2020-05-06 00:13:43 +02:00

error.rs

Remove duplicate match arm

2020-05-11 02:45:44 +02:00

input.rs

Work in progress

2020-05-05 19:40:57 +02:00

lib.rs

Add option for proof direction

2020-05-07 02:53:48 +02:00

main.rs

Add option for proof direction

2020-05-07 02:53:48 +02:00

output.rs

Remove unused code

2020-05-11 02:43:42 +02:00

problem.rs

Improve output

2020-05-07 17:19:42 +02:00

traits.rs

Use foliage traits

2020-04-17 04:10:23 +02:00

translate.rs

Refactoring to support TPTP output

2020-02-03 02:57:45 +01:00

utils.rs

Add option for proof direction

2020-05-07 02:53:48 +02:00