GitHub repository: keuapar/mipstarisre
Primary language: JavaScript
Description: Minerva University Bachelor Thesis Project: MIP* = RE