search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
77 stars 12 forks source link

Rename Unification to Matching #196

Closed NatKarmios closed 8 months ago

NatKarmios commented 1 year ago

This is not a high priority and will be annoying to do, but it ought to be done to get more in line with the theory.