Skip to content
View makarius's full-sized avatar
13 followers · 0 following

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report makarius

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. language-server-protocol language-server-protocol Public

    Forked from microsoft/language-server-protocol

    Defines a common protocol for language servers.

  2. polyml polyml Public

    Forked from polyml/polyml

    Poly/ML

    Standard ML

  3. Isabelle_DOF Isabelle_DOF Public

    Forked from logicalhacking/Isabelle_DOF

    Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.

    Isabelle

  4. isabelle_dedukti isabelle_dedukti Public

    Forked from Deducteam/isabelle_dedukti

    Isabelle component generating Dedukti proofs

    Scala