https://ndprover.org/ https://ndprover.org/rules https://ndprover.org/exercises/tfl https://ndprover.org/exercises/fol https://ndprover.org/exercises/ml