Skip to content

Auto-generating well-foundedness axioms for ADT types in the ADT plugin #480

Auto-generating well-foundedness axioms for ADT types in the ADT plugin

Auto-generating well-foundedness axioms for ADT types in the ADT plugin #480