Popular repositories Loading

1. FTA FTA Public

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

   Coq 7

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