lisa
lisa copied to clipboard
Published
20 hours ago •
epfl-lara
epfl-lara
Proof assistant based on first-order logic and set theory
Results
21
lisa issues
Sort by
recently updated
recently updated
newest added
e-graph is an important infrastructure for compiler optimisation, are you interested in publishing your related work as an infra module, like egglog? Once it become stable enough it can serve...
