Documentation

Cedar.Thm.Validation.Levels.Basic

Basic definitions for levels proof

source
def Cedar.Thm.TypedAtLevelIsSound (e : Spec.Expr) :
Prop
Equations
  • One or more equations did not get rendered due to their size.
Instances For