Amprentează-ți lucrarea
Alege un fișier. Hash-ul lui SHA-256 se calculează aici, în browserul tău; fișierul nu se încarcă. Tot ce scrii mai jos e public.
Amprenta va fi legată public de problema Example / Exemplu: n + m = m + n in Lean 4 (no reward).
Înscris. Certificatul tău:
certificat (JSON) · certificat imprimabil
Păstrează fișierul exact așa cum e: amprenta se potrivește doar cu exact acea succesiune de octeți.
Eroare: