Popular repositories Loading

1. isabelle isabelle Public

   Forked from isabelle-prover/mirror-isabelle

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

   Isabelle

2. isabelle-proving-backends isabelle-proving-backends Public

   Forked from isabelle-prover/proving-contest-backends

   isabelle-proving-backend

   Python

3. arc-dsl arc-dsl Public

   Forked from michaelhodel/arc-dsl

   Domain Specific Language for the Abstraction and Reasoning Corpus

   Python