GitHub repository: mcenv/core-box
Primary language: Lean
Created: 2023-08-22T17:54:32Z
Description: The core calculus of Box