Diffusion afp-devel deab09fedc87

Grant acknowledgement for ALEXANDRIA (ERC Project 742178)
deab09fedc87
Actions

Tags

None

Subscribers

None

Description

Grant acknowledgement for ALEXANDRIA (ERC Project 742178)

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc00714f311dc: Update abstract

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFPdeab09fedc87: Grant acknowledgement for ALEXANDRIA (ERC Project 742178).Mar 24 2020, 4:04 PM

Changes (8)

Path

Size

thys/

Budan_Fourier/

document/

Count_Complex_Roots/

document/

Fourier/

document/

Green/

document/

Prime_Number_Theorem/

document/

Quaternions/

document/

Winding_Number_Eval/

document/

ZFC_in_HOL/

document/

rAFPdeab09fedc87

thys/Budan_Fourier/document/root.tex

Loading...

thys/Count_Complex_Roots/document/root.tex

Loading...

thys/Fourier/document/root.tex

Loading...

thys/Green/document/root.tex

Loading...

thys/Prime_Number_Theorem/document/root.tex

Loading...

thys/Quaternions/document/root.tex

Loading...

thys/Winding_Number_Eval/document/root.tex

Loading...

thys/ZFC_in_HOL/document/root.tex

Loading...