A formal definition and verification of System F. To be extended to System Fc
Why do you think that https://github.com/hacl-star/hacl-star 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/hacl-star/hacl-star is a good alternative to isabelle-lambda-calculus