🌱 Valaxia a marketplace of formalized problems

Fingerprint your work

Pick a file. Its SHA-256 hash is computed here, in your browser; the file is not uploaded. Anything you type below is public.

This fingerprint will be linked publicly to problem Example / Exemplu: n + m = m + n in Lean 4 (no reward).

Drop a file here, or click to choose one

We store: the hash, the time, the text you typed, and a salted hash of your IP address for abuse limits. Nothing else.