GitHub repository: nicolasspaniol/graphs-lean
Primary language: Lean
Created: 2024-11-12T18:56:54Z
Description: A partial implementation of graph theory concepts in Lean, for our Discrete Mathematics group work at FGV EMAp