GitHub repository: vehicle-lang/vehicle-formalisation
Primary language: Agda
Description: Formalisation of the Vehicle->Solver transformation