Documentation

Lean 4 Proof

def freshnessValue (V_0 δ t : ℝ) : ℝ := V_0 * exp (-δ * t)

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:406

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file