CoLF Implementation

Please report bugs to zhiboc@andrew.cmu.edu.

v1

Download Source Code (for 2022 Paper)

v2

GitHub (revised in 2024 Paper)
Programs for "A Logical Framework with Infinitary Terms"

Author's Homepage