Abstractions for multi-sorted substitutions

DOI10.4230/LIPICS.ITP.2024.32MaRDI QIDQ6859995zbMATH OpenFDO

Authors Hannes Saffrich

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

Agdaframeworkmetatheory

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Abstractions for multi-sorted substitutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6859995)