Jan van Brügge - A New Way to Formalizing Binders in Isabelle/HOL

3 views

Lab for AI Verification

1 month ago

Jan van Brügge - A New Way to Formalizing Binders in Isabelle/HOL

Jan van Brügge - A New Way to Formalizing Binders in Isabelle/HOL