<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>Hi every, in the following example, how do informe Agda that <span
class="tlid-translation translation" lang="eo"><span title=""
class="">'i ⊔ o ≡ suc (k + i)'</span></span> it's true and
compatible?<br>
</p>
<p>Saluton ĉiun,<span class="tlid-translation translation" lang="eo"><span
title="" class=""> en la sekva ekzemplo, kiel informi al Agda
ke </span></span><span class="tlid-translation translation"
lang="eo"><span title="" class="">'i ⊔ o ≡ suc (k + i)' veras
kaj kongruas?</span></span></p>
<p>Sinceran dankon,<br>
</p>
<p>-- <br>
</p>
<div class="moz-signature">Serge Leblanc
<hr>
gpg --search-keys 0x67B17A3F
<br>
Fingerprint = 2B2D AC93 8620 43D3 D2C2 C2D3 B67C F631 67B1 7A3F</div>
</body>
</html>