A formal definition and verification of System F. To be extended to System Fc
Why do you think that https://github.com/input-output-hk/ouroboros-high-assurance is a good alternative to isabelle-lambda-calculus
A formal definition and verification of System F. To be extended to System Fc
Why do you think that https://github.com/input-output-hk/ouroboros-high-assurance is a good alternative to isabelle-lambda-calculus