Merge branch 'main' of github.com:medovina/natty

Remove inductive/recursive definitions for the moment

Merge pull request #1 from jcailler/main

Fix link path for nat.n in README

Add option for reformatting output from Vampire

Eliminate universal sets in prover, not type checker

Include --sine=Auto when invoking E

Improve statistics about theorem and proof step counts

Consider more rewrites to be safe

Simplify conditions for lenient superposition

Fix numbering bug

Remove commented-out superposition restriction

Update message about disproved theorems

Fix bug in choosing directory for writing summary

When disproving, skip steps that lead to a contradiction