https://github.com/jjaassoonn/GAGA

(Attempt of) Formalising the GAGA theorem
https://github.com/jjaassoonn/GAGA

algebraic-geometry formalisation-mathematics

Last synced: about 2 months ago
JSON representation

(Attempt of) Formalising the GAGA theorem

• Host: GitHub
• URL: https://github.com/jjaassoonn/GAGA
• Owner: jjaassoonn
• Created: 2024-03-28T00:07:59.000Z (10 months ago)
• Default Branch: master
• Last Pushed: 2024-04-19T10:20:01.000Z (9 months ago)
• Last Synced: 2024-08-10T14:20:55.756Z (5 months ago)
• Topics: algebraic-geometry, formalisation-mathematics
• Language: TeX
• Homepage: https://jjaassoonn.github.io/GAGA/blueprint
• Size: 78.1 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Formalising the GAGA theorem in Lean4

- A WIP blueprint can be found at [here](https://jjaassoonn.github.io/GAGA/blueprint/index.html)

- The corresponding pdf version can be found [here](https://jjaassoonn.github.io/GAGA/blueprint.pdf)

- The corresponding documentation can be found [here](https://jjaassoonn.github.io/GAGA/docs)