Repositories list

• zulip-archive

  Public
  Public archive of the Isabelle Zulip isabelle.zulipchat.com

  HTML

  •1•1•0•0•Updated Nov 5, 2024Nov 5, 2024

• isabelle-prover.github.io

  Public
  Quicklinks

  HTML

  •4•3•0•2•Updated Nov 5, 2024Nov 5, 2024

• mirror-afp-2024

  Public
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2024

  Isabelle

  •1•1•0•0•Updated Nov 5, 2024Nov 5, 2024

• mirror-afp-devel

  Public
  Git mirror of https://foss.heptapod.net/isa-afp/afp-devel

  Isabelle

  •3•5•0•0•Updated Nov 5, 2024Nov 5, 2024

• mirror-isabelle

  Public
  Git mirror of https://isabelle.in.tum.de/repos/isabelle

  Isabelle

  •

  Other

  •14•64•0•1•Updated Nov 4, 2024Nov 4, 2024

• admin

  Public
  Isabelle CI infrastructure

  Python

  •2•4•0•0•Updated Oct 31, 2024Oct 31, 2024

• proving-contest-backends

  Public
  "proving-contest"-backends for several theorem provers

  Python

  •

  MIT License

  •5•12•18•0•Updated Oct 15, 2024Oct 15, 2024

• afp-submission

  Public
  AFP submission service

  Python

  •

  BSD 2-Clause "Simplified" License

  •1•1•1•0•Updated Aug 7, 2024Aug 7, 2024

• isabelle-linter

  Public
  Linter component for Isabelle.

  Scala

  •

  MIT License

  •3•17•2•0•Updated Jul 2, 2024Jul 2, 2024

• isabelle-go-codegen

  Public
  Go Code Generation for Isabelle

  Standard ML

  •

  Other

  •2•2•3•2•Updated Jun 12, 2024Jun 12, 2024

• isabelle-tools-collection

  Public
  Scala

  •1•2•0•0•Updated Jun 10, 2024Jun 10, 2024

• isabelle-build-system

  Public
  Scala

  •1•1•0•0•Updated Jun 4, 2024Jun 4, 2024

• mirror-afp-2023

  Public archive
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2023

  Isabelle

  •2•1•0•0•Updated May 18, 2024May 18, 2024

• cookbook

  Public
  A collection of useful tips/tricks/hints for Isabelle users.

  Isabelle

  •4•15•0•0•Updated May 2, 2024May 2, 2024

• go-component

  Public archive
  Isabelle component for Go (ARCHIVED)

  Shell

  •1•1•0•0•Updated Mar 27, 2024Mar 27, 2024

• mirror-afp-2022

  Public archive
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2022

  Isabelle

  •2•1•0•0•Updated Aug 20, 2023Aug 20, 2023

• isabelle-context-build

  Public
  Scala

  •1•2•0•0•Updated Jul 28, 2023Jul 28, 2023

• cakeml-component

  Public archive
  Isabelle component for CakeML

  isabellecakeml

  C

  •

  MIT License

  •1•1•0•0•Updated Dec 20, 2022Dec 20, 2022

• mirror-afp-2021-1

  Public archive
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2021-1

  Isabelle

  •4•1•0•0•Updated Oct 15, 2022Oct 15, 2022

• conventions

  Public
  HTML

  •

  MIT License

  •4•2•2•0•Updated Feb 9, 2022Feb 9, 2022

• mirror-afp-2021

  Public archive
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2021

  Isabelle

  •3•1•0•0•Updated Dec 13, 2021Dec 13, 2021

• mirror-afp-2020

  Public archive
  Git mirror of https://foss.heptapod.net/isa-afp/afp-2020

  Isabelle

  •2•1•0•0•Updated Feb 11, 2021Feb 11, 2021

• mirror-afp-2019

  Public archive
  Git mirror of https://bitbucket.org/isa-afp/afp-2019

  Isabelle

  •1•1•0•0•Updated Apr 13, 2020Apr 13, 2020

• mirror-afp-2018

  Public archive
  Git mirror of https://bitbucket.org/isa-afp/afp-2018

  Isabelle

  •1•2•0•0•Updated May 16, 2019May 16, 2019

• mirror-afp-2017

  Public archive
  Git mirror of https://bitbucket.org/isa-afp/afp-2017

  Isabelle

  •1•1•0•0•Updated Aug 15, 2018Aug 15, 2018

• opentheory-component

  Public
  Isabelle component for OpenTheory

  Isabelle

  •

  MIT License

  •1•1•0•0•Updated May 27, 2018May 27, 2018

• inductive_sledgehammer

  Public
  ATMEGA32U4 code for the physical Sledgehammer device developed at TUM

  isabelleatmega32u4atmega

  C++

  •

  MIT License

  •1•2•0•0•Updated Mar 8, 2018Mar 8, 2018

• mirror-afp-2016-1

  Public archive
  Git mirror of https://bitbucket.org/isa-afp/afp-2016-1

  Isabelle

  •2•1•0•0•Updated Sep 20, 2017Sep 20, 2017

• mirror-afp-2016

  Public archive
  Git mirror of https://bitbucket.org/isa-afp/afp-2016

  Isabelle

  •1•2•0•0•Updated Feb 1, 2017Feb 1, 2017