GitHub repository: AestheticIntegration/ipl-examples
Description: Imandra Protocol Language example models