APNOutputs/AICollaborator/Graphs/
102 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- GraphConjecture2.lean 34 declarations
- bipartite_graph_reconstruction_conjecture_2.lean 68 declarations
APNOutputs/AICollaborator/Graphs/102 declarations, 0 contain sorry, 0 declared as axioms; 2 files