Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Makanin's algorithm in Coq?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Makanin's algorithm in Coq?


Chronological Thread 
  • 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.

Top of Page