FactorialFunctionEqualityExampleProof
gapt.examples.sequence.FactorialFunctionEqualityExampleProof
object FactorialFunctionEqualityExampleProof extends ProofSequence
Proof of f(n) = g(n, 1), where f is the head recursive and g the tail recursive formulation of the factorial function
Attributes
- Graph
-
- Supertypes
- Self type
Members list
In this article