0
Hey There Buddo! · 28d · discuss
It’s an egraph that supports well-scoped alpha aware binders.
Hey There Buddo! · 28d · discuss
It’s an egraph that supports well-scoped alpha aware binders.
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect