Skip to content

@Munich-Logic-Lab Munich Logic Lab

Change the repository type filter

All

    Repositories list

    4 repositories

    • Lucidia

      Public
      TypeScript
      •0•2•0•0•Updated Apr 27, 2025Apr 27, 2025

    • arc-dsl

      Public
      Domain Specific Language for the Abstraction and Reasoning Corpus
      Python
      •
      MIT License
      •68•0•0•0•Updated Jun 21, 2024Jun 21, 2024

    • isabelle

      Public
      Git mirror of https://isabelle.in.tum.de/repos/isabelle
      Isabelle
      •
      Other
      •16•0•0•0•Updated Jun 12, 2024Jun 12, 2024

    • isabelle-proving-backends

      Public
      isabelle-proving-backend
      Python
      •
      MIT License
      •4•0•0•0•Updated Apr 12, 2024Apr 12, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.