FMT uses formal methods to prove functional equivalence between two functions. Request early access and we'll follow up by email.