Seminar on Derived analytic geometry
  By Eita Haibara, Shelly Miyano and Taewan Kim

 This seminar focuses on derived analytic geometry. 

These are notes for the seminar. The completed paper will be uploaded after the seminar.

1. Derived analytic geometry: Derived K\"ahler space and Hodge theory -  Eita Haibara Last update: 26.06.25
   Check: Mathoverflow Answer. + There is a logical gap in the proof of the de Rham theorem. I no longer do mathematics, so I hope someone can resolve this.
   
   

2. ...