Documents (Authors)

• [Multi angle] Intersection theory and heights : birational perspective / Author of the conference Chambert-Loir, Antoine. -Marseille : CIRM
  

Documents (Event Organizers)

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

Linked documents : [5 document(s)]