Marcel Ullrich: Bachelor's Thesis

Saarland University Computer Science

Generating induction principles for nested inductive types in MetaCoq

Advisors: Yannick Forster

Abstract:

References:

Downloads


Legal notice, Privacy policy