AngouriMath

Symbolics for .NET

Table of contents

AngouriMath

Navigation

Home Quick start Wiki Almanac Research What's new Try Use Angouri.org GitHub Report a bug ~~Donate~~ Contacts

← Back to list of members

Weaker(AngouriMath.Core.Transformations.Soundness,AngouriMath.Core.Transformations.Soundness)

Method (no overloads)

Summary

The weaker of two justifications. Composing anything with a heuristic gives a
heuristic; nothing composes upwards into a stronger claim.

Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 1953 pages online