About the Apalache Research category

Have an idea about improving Apalache? This is the place to discuss your idea.