Ethics.CostModel
IndisputableMonolith.Ethics.CostModel
No prose has been written for this declaration yet. The Lean source and graph data below render without it.
generate prose now
Lean names referenced from this declaration's body.
IndisputableMonolith.Gap45.Beat
CostModel
Prefer
Improves
prefer_refl
prefer_trans
Composable
prefer_comp_mono
improves_comp_left
CQ
score
CQAligned
requiresExperience
Admissible
prefer_by_cq
PreferLex