punctilious_obsolete_20240114
latest
Front matter
Math
Concepts
alpha-equivalence
atomic-formula
axiom
axiomatic-method
bound-variable
compound-formula
definition
elimination-rule
formula
formula-statement
free-variable
hypothesis
inference-rule
inferred-statement
introduction-rule
is-a
meta-object
notation-form
object
object-creation
object-declaration
object-inclusion
paragraph-proof
connective
statement
theory-derivation
validity-of-formula
variable
universe-of-discourse
Inference rules
Theories
Python
Back matter
punctilious_obsolete_20240114
Math
Math concept
notation-form
Edit on GitHub
notation-form
Definition
notation-form
List
The following
notation-forms
are supported by punctilious:
function-call
in-fix
post-fix
pre-fix