Repository navigation
FOSSIL Artifact for OOPSLA2022
Pre-release
Pre-release
This minimal artifact contains code to reproduce experiments reported in the OOPSLA 2022 paper "Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints".