VampLean

This repository contains a library required to check Vampire generated Lean files.

To add it to a lake project, add the following to the lakefile.toml:

[[require]]
name = "vamplean"
git = "https://github.com/vprover/vamplean"
rev = "v4.28.0"