Documentation

Lean 4 Proof

def contextLogValue (V_purchased V_curriculum : ℝ) : ℝ :=
  V_purchased + V_curriculum

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:359

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file