Port block.lean to Lean 4#4

nuttycom wants to merge 14 commits intozkcrypto:port-to-lean4zkcrypto/cryptolib:port-to-lean4from

nuttycom:port-to-lean4-kjnnuttycom/cryptolib:port-to-lean4-kjnCopy head branch name to clipboard