Tag formalization

Assemblies

No entries available.

Events

• 00:00

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

  KliMathematik Augsburg

projects