Skip to content
View melanie-taprogge's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report melanie-taprogge

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. logic-embedding logic-embedding Public

    Forked from leoprover/logic-embedding

    Extension of the modal logic specification to allow bridge axioms as well as semantic and syntactic formulas

    Scala 1

  2. europroofnet.github.io europroofnet.github.io Public

    Forked from EuroProofNet/europroofnet.github.io

    Sources of the EuroProofNet web site.

    Ruby

  3. Leo-III Leo-III Public

    Forked from leoprover/Leo-III

    An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics

    Scala

  4. MT_dev_quasi_align MT_dev_quasi_align Public

    Forked from AI-Biome/AI-Biome

    Python

  5. Leo-III-lambdapi-lib Leo-III-lambdapi-lib Public

    Repository for the Lambdapi encodings of various inference rules and meta-theorems used in the verification of the HOL ATP Leo-III

    Makefile

  6. isabelle_dedukti isabelle_dedukti Public

    Forked from Deducteam/isabelle_dedukti

    Isabelle component generating Dedukti proofs

    Scala