Lean Action CI

Migrate `ElGamal.lean` to Lean 4 #8

Sign in to view logs

Triggered via push April 13, 2025 22:50

str4d

port-to-lean4

Status Success

Total duration 1m 31s

Artifacts –

lean_action_ci.yml

on: push