Schemes in Lean

Experimental Mathematics ◽

10.1080/10586458.2021.1983489 ◽

2021 ◽

pp. 1-9

Author(s):

Kevin Buzzard ◽

Chris Hughes ◽

Kenny Lau ◽

Amelia Livingston ◽

Ramon Fernández Mir ◽

...

Download Full-text