theorem-prover 0.1.1

Implementation of a theorem prover for first-order logic.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

appenders:
  my_file_logger:
    kind: rolling_file
    path: "prover.log"
    encoder:
      pattern: "{d(%Y-%m-%d %H:%M:%S)(utc)} - {h({l})}: {m}{n}"
    policy:
      trigger:
        kind: size
        limit: 10000kb
      roller:
        kind: delete
root:
  level: trace
  appenders:
    - my_file_logger