Skip to content

Elliptic curve definitions bridging LMFDB knowls to Lean - #71

Open
JaneShi99 wants to merge 13 commits into
CBirkbeck:mainfrom
JaneShi99:formalize/ec-defs
Open

Elliptic curve definitions bridging LMFDB knowls to Lean#71
JaneShi99 wants to merge 13 commits into
CBirkbeck:mainfrom
JaneShi99:formalize/ec-defs

AKLB setup is done

d84dd30
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs