[Club2] DA Stephan Hohe

[Tobias Nipkow]

Dann machen wir unsere Besprechung am besten von 11 - 12.

Tobias

Clemens Ballarin wrote:
> Am Freitag, den 12.10. von 12-12:30 im Turing (00.09.055).
> 
> Stephan Hohe praesentiert seine Diplomarbeit.
> Thema: Faktorielle Ringe in Isabelle/HOL
> 
> Viele Gruesse,
> Clemens
> 
> 
> _______________________________________________
> Club2 mailing list
> Club2 at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/club2