Popular repositories Loading

1. pca-realizability pca-realizability Public

   Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.

   Coq 13

2. anderslundstedt.github.io anderslundstedt.github.io Public

   HTML 1

3. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

4. askhjdhkjdas askhjdhkjdas Public

   Forked from aeriksson/askhjdhkjdas

5. JuliaMono-debug JuliaMono-debug Public

   Python

6. type-experiments type-experiments Public

   experiments with types

   Coq