Tag proofs

Assemblies

Keine Einträge vorhanden.

Veranstaltungen

• 00:00

  Tag 3
  Formalizing mathematics in the proof assistant Agda and extracting algorithms from transfinite proofs
  SoS Saal D

  KliMathematik Augsburg

Projekte