论文信息 - Proof Certiﬁcation in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps - 字舞流文

Proof Certiﬁcation in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps

Damien Doligez | O. Hermant | Pierre Halmagrand | David Delahaye | Fr'ed'eric Gilbert