Popular repositories Loading

1. WeylPlastic WeylPlastic Public

   Weyl's /Das Kontinuum/ formalised in the proof assistant Plastic

   1

2. MetaL MetaL Public

   Agda formalised Metatheory Library

   TeX 1

3. PTSCoq PTSCoq Public

   Formalisation of the theory of PTSs and incomplete proof of equivalence with PTSs with judgemental equality

   Coq 1

4. CategoryTheory CategoryTheory Public

   Formalization of category theory without equality on objects

   1

5. documentjs documentjs Public

   Forked from bitovi/documentjs

   A powerful documentation engine for JS

   JavaScript

6. qunit-require qunit-require Public

   Forked from jonnyreeves/qunit-require

   Using RequireJS with QUnit.

   JavaScript