Stream: Coq users

Topic: ✔ Unification algorithm

view this post on Zulip Patrick Nicodemus (May 26 2022 at 22:40):

I would like to read an introductory survey paper explaining the unification algorithm in coq.
It could be a simplified version of it, I'm not interested right now in understanding the whole algorithm in full detail.
I'm looking something that outlines the basic problem that the algorithm is trying to solve and at a high level how it accomplishes this.

view this post on Zulip Gaëtan Gilbert (May 26 2022 at 22:54):

the unicoq paper should fit your requirements https://github.com/unicoq/unicoq/

view this post on Zulip Patrick Nicodemus (May 27 2022 at 00:18):

Thanks!

view this post on Zulip Notification Bot (May 29 2022 at 15:55):

Bas Spitters has marked this topic as resolved.

Last updated: Sep 25 2023 at 12:01 UTC