Greatest common divisor: Difference between revisions

Content added Content deleted

Inline

Revision as of 13:59, 28 March 2022 (view source) rosettacode>Jmgorius m (→‎Iterative binary algorithm: Fix parenthesis usage regarding operator precedence) ← Older edit		Revision as of 14:08, 30 March 2022 (view source) Chemoelectric (talk \| contribs) m (→‎Some proofs about the gcd) Newer edit →
Line 1,268:		Line 1,268:


	For the sake of interest, here is some use of ~~ATS’s~~ ~~‘props’~~-based proof system. There is no executable code in the following.		For the sake of interest, here is some use of ATS's "props"-based proof system. There is no executable code in the following.

	<lang ats>(* Typecheck this file with ‘patscc -tcats gcd-proofs.dats’. *)		<lang ats>(* Typecheck this file with ‘patscc -tcats gcd-proofs.dats’. *)