https://github.com/jjaassoonn/twist

Definition of Serre's twisting sheaf (work in progress)
https://github.com/jjaassoonn/twist

arithmetic-geometry formalization mathematics

Last synced: about 1 month ago
JSON representation

Definition of Serre's twisting sheaf (work in progress)

• Host: GitHub
• URL: https://github.com/jjaassoonn/twist
• Owner: jjaassoonn
• Created: 2022-05-30T19:21:36.000Z (over 2 years ago)
• Default Branch: lean-3.42.1
• Last Pushed: 2022-07-23T21:22:03.000Z (over 2 years ago)
• Last Synced: 2023-03-03T12:35:43.466Z (almost 2 years ago)
• Topics: arithmetic-geometry, formalization, mathematics
• Language: Lean
• Homepage:
• Size: 62.5 KB
• Stars: 1
• Watchers: 2
• Forks: 1
• Open Issues: 1

Awesome Lists containing this project