Popular repositories Loading

1. Lucidia Lucidia Public

   TypeScript 2

2. isabelle isabelle Public

   Forked from isabelle-prover/mirror-isabelle

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

   Isabelle

3. isabelle-proving-backends isabelle-proving-backends Public

   Forked from isabelle-prover/proving-contest-backends

   isabelle-proving-backend

   Python

4. arc-dsl arc-dsl Public

   Forked from michaelhodel/arc-dsl

   Domain Specific Language for the Abstraction and Reasoning Corpus

   Python