Skip to content
View psteckler's full-sized avatar

Organizations

@MinaProtocol

Block or report psteckler

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. ProofGeneral ProofGeneral Public

    Forked from ProofGeneral/PG

    This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing

    Emacs Lisp 9

  2. coq-8.4-timings coq-8.4-timings Public

    Backup for timing experiments for setoid_rewrite

    OCaml

  3. coq coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml

  4. slow-coq-examples slow-coq-examples Public

    Forked from JasonGross/slow-coq-examples

    Examples of Coq being really slow

    Coq

  5. www www Public

    Forked from coq/coq.github.io

    Sources files of the coq.inria.fr website (static part)

    HTML

  6. go-ethereum go-ethereum Public

    Forked from ethereum/go-ethereum

    Official Go implementation of the Ethereum protocol

    Go