Lean4FonWinTeam

Lean4FonWinTeam

Geek Repo

Formalizing the theory of Fontaine-Wintenberger

Location:China

Github PK Tool:Github PK Tool

Lean4FonWinTeam's repositories

Language:TeXStargazers:2Issues:0Issues:0