Material on algebraic function fields of one variable in Lean/Mathlib
This contribution was created as part of the AIM workshop "Formalizing algebraic geometry" in June 2024.
-
Notifications
You must be signed in to change notification settings - Fork 0
Material on algebraic function fields of one variable in Lean/Mathlib
License
MichaelStollBayreuth/FunctionFields
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Material on algebraic function fields of one variable in Lean/Mathlib
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published