Skip to content
View mcopes73's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark
BetaSend feedback
Block or Report

Block or report mcopes73

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

  1. FTA FTA Public

    Complete formalization of the Fundamental Theorem of Arithmetic in Coq and Isabelle/HOL.

    Coq 8

  2. standardization-agda standardization-agda Public

    A machine checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution. The proof hereby presented follows the structure of the one presented by Ryo Kashima.

    Agda 7

  3. Agda-Tutorial Agda-Tutorial Public

    My solutions to the problems posed on the Agda tutorial by Chalmers University. http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf

  4. conda conda Public

    Forked from conda/conda

    OS-agnostic, system-level binary package manager and ecosystem

    Python

  5. conjure-java-runtime-api conjure-java-runtime-api Public

    Forked from palantir/conjure-java-runtime-api

    The API components of the http-remoting RPC library

    Java

  6. intellij-sdk-code-samples intellij-sdk-code-samples Public

    Forked from JetBrains/intellij-sdk-code-samples

    Mirror of the IntelliJ SDK Docs Code Samples

    Java