Skip to content

feat(Crypto/Primitives/ECC): Edwards Curves - #809

Open
chris-anto-froeschl wants to merge 8 commits into
leanprover:mainfrom
chris-anto-froeschl:curve-primitives
Open

feat(Crypto/Primitives/ECC): Edwards Curves#809
chris-anto-froeschl wants to merge 8 commits into
leanprover:mainfrom
chris-anto-froeschl:curve-primitives

relabels most of the results to lemmas instead of theorems

d5215c6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Aug 19, 2026 in 2s