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. Makarius Wenzel

Recent Posts

  • Invited talks at CICM 2019 (Prague)
  • MMT as component for Isabelle2019
  • Isabelle/Naproche for Automatic Proof-Checking of Ordinary Mathematical Texts
  • Isabelle presentations at LSV Paris/Cachan
  • Interaction with Formal Mathematical Documents in Isabelle/PIDE (at CICM 2019, Prague)

Archives

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