Pinned Loading

1. coq_sensitivity coq_sensitivity Public

   Sensitivity Conjecture in Coq

   Coq 1

2. coq_euler_prod_form coq_euler_prod_form Public

   Coq proof of the Euler product formula for the Riemann zeta function (in progress...)

   Coq 1

3. banach_tarski banach_tarski Public

   Formal proof in Coq of Banach-Tarski paradox.

   Coq 15 1

4. puiseuxth puiseuxth Public

   Formal proof in Coq of Puiseux's Theorem.

   Coq 4

5. cauchy_schwarz cauchy_schwarz Public

   Formal proof in Coq of Cauchy Schwarz Inequality

   Coq 7 1

6. camlp5/camlp5 camlp5/camlp5 Public

   Preprocessor / Pretty Printer for OCaml

   OCaml 74 26