search

FissoreD / coq-elpi

Coq plugin embedding elpi
GNU Lesser General Public License v2.1
0 stars 0 forks source link

Occur check #4

Open FissoreD opened 2 months ago

FissoreD commented 2 months ago

Implement all the machinery to perform an occur check if a variable of a link is unified to a term