Module Darwin (.ml)


module Darwin: sig .. end
proof procedure

derivation is automatically started based on command line arguments.