Lean Action CI

Migrate `ElGamal.lean` to Lean 4 #6

Sign in to view logs

Triggered via push April 13, 2025 22:42

str4d

port-to-lean4

Status Success

Total duration 1m 30s

Artifacts –

lean_action_ci.yml

on: push