Sketis

Search
Skip to content
  • Desert
  • Isabelle
    • Isabelle Workshop 2018
  • Main
  • Impressum
Local

Curry Club Augsburg: Youtube channel

Sun 06-Dec-2015 Makarius

The Curry Club Augsburg has now its own YouTube channel.

Post navigation

Previous PostFreie Medien in DeutschlandNext PostRelease candidates for Isabelle2016

Website of Dr. Markus "Makarius" Wenzel

Recent Posts

  • Gnucash DATEV Export (CSV)
  • Isabelle/MMT: export of Isabelle theories and import as OMDoc content
  • Isabelle/PIDE: potential problem with Ubuntu Linux 18.04
  • The Isabelle Prover IDE after 10 years of development
  • Isabelle/VSCode and the Language Server Protocol at Curry Club Augsburg

Archives

  • 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 RSS
  • Comments RSS
  • WordPress.org
Proudly powered by WordPress