Documentation

Lean 4 Proof

def userTrainingRevenue (n_interactions p_metadata : ℝ) : ℝ :=
  n_interactions * p_metadata

Dependency Graph

Location

thesis/CESProofs/Applications/KnowledgeCommons.lean:375

Module Section

Paper 10: The Knowledge Commons Paradox:

In the same file