GitHub repository: thalesant/formalabstracts-2018
Primary language: Lean
Description: Legacy code from 2018.