GitHub repository: swap357/eggtx
Primary language: Python
Created: 2025-05-29T00:23:35Z
Description: Convert Egglog-style rewrite rules into formal inference rules, output as LaTeX. Useful for research, documentation, and teaching formal methods or rewriting systems.