Skip to content

feat(Crypto/Systems): Elligator 1, Theorem 1 and Definition 2 - #783

Open
chris-anto-froeschl wants to merge 2 commits into
leanprover:mainfrom
chris-anto-froeschl:elligator1
Open

feat(Crypto/Systems): Elligator 1, Theorem 1 and Definition 2#783
chris-anto-froeschl wants to merge 2 commits into
leanprover:mainfrom
chris-anto-froeschl:elligator1

adds import of Cslib.Init in Crypto/Systems/Elligator/Basic.lean

dbaaf17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error and 1 warning
ci-checks
failed Aug 8, 2026 in 5m 14s