AngouriMath
DecideBy(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,System.Boolean,System.Nullable{System.ValueTuple{System.String,System.String}}@)
Method (no overloads)
Summary
Decide(AngouriMath.Functions.Boolean.Quantifiers.Kind,AngouriMath.Entity,AngouriMath.Entity,AngouriMath.Entity,System.Boolean) proper, naming the rule that decided in by --
as the reference names it, and as the Lean 4 tactic or lemma a checker would use --
andnull for a route that only asked another statement.
as the reference names it, and as the Lean 4 tactic or lemma a checker would use --
and
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online