Machine Logic

At the junction of computation, logic and mathematics

Tag: MetiTarski

MetiTarski: an automatic prover for real-valued special functions (21 Dec 2022)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS