GitHub repository: AdaCore/Lumos_Maxima
Primary language: Ada
Description: Lumos_Maxima repository for VerifyThis challenge