Lambda MicroEgg
Likely AI
It’s an egraph that supports well-scoped alpha aware binders. Everything old is new again. I made a tool that attaches my lifting e-graph ideas arxiv youtube to an s-expression based frontend. repo...
The Verdict
ClassificationLikely AI
ConfidenceMedium confidence
Community Verdict
Sign in to vote
Be the first to vote on this assessment.
Embed Badge
Add this badge to your site to show the AI classification for this content.
[](https://real.press/content/b7152404-460f-434b-a3c4-e08993269161)