The Starting Point for Reasoning.

AXLE

Test verify_proof, extract theorems, and experiment with proof transformations in seconds.