abt topic

List abt repositories

um-abt

28
Stars
1
Forks
Watchers

An OCaml library implementing unifiable abstract binding trees (UABTs)

verified publisher icon shonfeder