coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jonathan Leivent <jonikelee AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>
- Subject: [Coq-Club] Makanin's algorithm in Coq?
- Date: Sun, 3 Apr 2016 18:08:49 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qg0-f51.google.com
- Ironport-phdr: 9a23:WvkFaxQq1V7xtAZ/AdcU6nr36tpsv+yvbD5Q0YIujvd0So/mwa64YxaN2/xhgRfzUJnB7Loc0qyN4/CmAjJLuM7JmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbviq9uIPU4R3HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGY2zRakzTKRZATI6KCh1oZSz7ViQBTeIs1AbSy09lgdCS1zO6wi/VZPsuAP7sPB80W+UJ5ulY6ozXGGA6KFiVB/hjm8jOj8n/WfLwphyi6Raox+lqhFXzIvdYYXTP/17KPCONegGTHZMC54CHxdKBZmxOs5WV7IM
Does anyone know if there is a version of Makanin's algorithm for Coq?
-- Jonathan
- [Coq-Club] Makanin's algorithm in Coq?, Jonathan Leivent, 04/04/2016
Archive powered by MHonArc 2.6.18.