GitHub repository: kebekus/ProjectVD
Primary language: Lean
Description: Formalizing Value Distribution Theory