Sketis

Search
Skip to content
  • Desert
  • Isabelle
    • Isabelle Workshop 2022
    • Isabelle Workshop 2020
    • Isabelle Workshop 2018
  • Main
  • Impressum

Monthly Archives: April 2017

Local

Illegale Kriege

Fri 07-Apr-2017 Makarius

Hier einige sachdienliche Hinweise des Schweizer Friedensforschers Dr. Daniele Ganser:

  • Buch (Oktober 2016)
  • Vortrag in Bautzen (31. Oktober 2016)
  • Interview bei KenFM (3. Februar 2017)
  • Artikel bei Rubikon NEWS (8. April 2017)

Website of Dr. Makarius Wenzel

Recent Posts

  • Isabelle Workshop 2022 at FLoC
  • After Phabricator: We Phorge It!
  • Augsburg.One – Nachhaltige Digitalisierung in Augsburg
  • Dr. Christian Kreiß: Die Jahrhundertrezession – Wie geht es weiter?
  • Mercurial Hosting of Isabelle/AFP on Heptapod

Archives

  • June 2022
  • October 2021
  • November 2020
  • September 2020
  • June 2020
  • March 2020
  • January 2020
  • December 2019
  • November 2019
  • July 2019
  • June 2019
  • May 2019
  • April 2019
  • February 2019
  • November 2018
  • October 2018
  • August 2018
  • July 2018
  • June 2018
  • May 2018
  • March 2018
  • February 2018
  • December 2017
  • November 2017
  • October 2017
  • August 2017
  • July 2017
  • April 2017
  • February 2017
  • January 2017
  • December 2016
  • November 2016
  • September 2016
  • August 2016
  • June 2016
  • May 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • July 2015
  • May 2015
  • April 2015
  • March 2015
  • February 2015
  • January 2015
  • December 2014
  • November 2014

Categories

  • Admin
  • Coq
  • Global Financial System
  • Isabelle
  • Lean Prover
  • Local
  • Media
  • ML
  • PIDE
  • Proposals
  • Science

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
Proudly powered by WordPress