GitHub repository: maguro2/estudo-orientado1
Primary language: Coq
Description: Oriented Study 1 of the master's in computer science at UFF