Stream: Coq users

Topic: anti-unification

view this post on Zulip Ambroise Lafont (Jan 04 2023 at 14:53):

Hello! Do you know if anti-unification is used in the implementation of Coq? It seems to be used in Agda (, but I am not sure why.

Last updated: Jun 23 2024 at 01:02 UTC