Giters

DmxLarchey / The-Tortoise-and-the-Hare

The Tortoise and the Hare in Coq. Constructive extraction via Bar inductive predicates (see README.md below).

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

DmxLarchey/The-Tortoise-and-the-Hare Stargazers