Conditional Transfer Rule

Mihails Milehins 📧

September 6, 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

Topics

Theories of Conditional_Transfer_Rule