Sketis

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

Monthly Archives: June 2020

Isabelle

Mercurial Hosting of Isabelle/AFP on Heptapod

Fri 26-Jun-2020 Makarius

Mercurial repository hosting of Isabelle Archive of Formal Proofs (AFP) now works via Heptapod, which is a Friendly Fork of Gitlab provided by Octobus and Clever Cloud.

It is good to see that small companies and smart people are able to uphold critical infrastructure, despite the market(ing) decisions by big corporations like Bitbucket.

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