Port block.lean to Lean 4 - #4

Open

nuttycom wants to merge 14 commits into

zkcrypto:port-to-lean4from

nuttycom:port-to-lean4-kjn

Commits on Apr 15, 2025

Move Apache 2.0 Lean 3 files into Lean 4 codebase
str4d
committed
d731683
Migrate `ToMathlib.lean` to Lean 4
str4d
committed
a69c76c
Migrate `Uniform.lean` to Lean 4
str4d
committed
76e4d1b
Migrate `PublicKeyEncryption.lean` to Lean 4
str4d
committed
debd80c
Migrate `DecisionalDiffieHellman.lean` to Lean 4
str4d
committed
3e258ab
Migrate `Tactic.lean` to Lean 4
str4d
committed
3216833
Migrate `ElGamal.lean` to Lean 4
str4d
committed
af3d64a
Migrate `Negligible.lean` to Lean 4
str4d
committed
b33b917
Migrate `ComputationalDiffieHellman.lean` to Lean 4
str4d
committed
5d7cc36
Migrate `DiscreteLog.lean` to Lean 4
str4d
committed
c0f1cbc
Migrate `Commitments.lean` to Lean 4
str4d
committed
c2af5f7
Migrate `Pedersen.lean` to Lean 4
str4d
committed
7919f6b

Commits on Apr 19, 2025

Move Lean 3 block.lean into the Lean 4 codebase.
nuttycom
committed
355193a
Port block.lean to Lean 4
nuttycom
committed
1c41c62