Machine Logic

At the junction of computation, logic and mathematics

Tag: gcd

Verifying the binary algorithm for greatest common divisors (22 Feb 2023)
More on Fibonacci numbers, with equational reasoning (20 Oct 2021)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS