An implementation of Configurable Program Analysis in Lean for a university project
Primary LanguageLeanGNU General Public License v3.0GPL-3.0