Conditional Transfer Rule

Mihails Milehins

6 September 2021

Abstract

This article provides a collection of experimental utilities for unoverloading of definitions and synthesis of conditional transfer rules for the object logic Isabelle/HOL of the formal proof assistant Isabelle written in Isabelle/ML.
BSD License

Used by

Topics

Theories