News
Taz: Artikel von Simon Wimmer - taz.de
› Simon-Wimmer
NZZ: Die Favoriten von Simon Wimmer | NZZ
› das-beste-aus-2...
Exploring Variant of the 'guess' command - isabelle.systems
isabelle.systems
Simon Wimmer (Nov at 12:36): As you might have heard, Makarius is phasing out guess for Isabelle It now resides in Pure-ex.Guess . › stream › General › topic
Rhine-Ruhr Epistemology Meeting PhilEvents
philevents.org
Simon Wimmer. TU Dortmund ... If you have any queries, contact Simon Wimmer. * Organisation: Eva Schmidt and Simon Wimmer ... › event › show
sorted by relevance / date