Giters

hargoniX / lean-cube

Theories in Lean for various calculi from the lambda cube.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

lean4formal-verificationlambda-calculuslambda-cube

lean-cube

Theories in Lean for various calculi from the lambda cube.

About

Theories in Lean for various calculi from the lambda cube.

lean4formal-verificationlambda-calculuslambda-cube

Languages

Language:Lean 100.0%