Documents (Auteurs)

• [Multi angle] Intersection theory and heights : birational perspective / Auteur de la Conférence Chambert-Loir, Antoine. -Marseille : CIRM
  

Documents (Organisateurs de la rencontre)

• [Multi angle] Stone duality and its formalization / Auteur de la Conférence van Gool, Sam. -Marseille : CIRM
  
• [Multi angle] Working with Mathlib / Auteur de la Conférence Loreaux, Jireh. -Marseille : CIRM
  
• [Multi angle] Coq/Rocq tutorial: Ssreflect tactics and the MathComp library / Auteur de la Conférence Kerjean, Marie. -Marseille : CIRM
  
• [Multi angle] Complex analysis in Lean / Auteur de la Conférence Beffara, Vincent. -Marseille : CIRM
  

Documents liés : [5 document(s)]