Stream: Coq users

Topic: anti-unification

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 (https://github.com/UlfNorell/agda/commit/7c8bc3b40503b7efba55f96225ad8ea71942aa85), but I am not sure why.

Last updated: Apr 20 2024 at 04:02 UTC