GitHub repository: HannahSantos/FMCn_Lean
Primary language: Lean
Created: 2024-10-23T21:54:08Z
Description: Repositório destinado às práticas de Lean4 da Monitoria de FMCn.