Gwaith-i-Mírdain

Popular repositories Loading

1. narya narya Public

   A proof assistant for higher-dimensional type theory

   OCaml 292 26

2. anor anor Public

   Experimental library for Narya

   Common Lisp 13

3. olorin olorin Public

   A graphical proof game for predicate logic

   JavaScript 2

4. fibrancy fibrancy Public

   Common Lisp 1

5. gwaithimirdain.github.io gwaithimirdain.github.io Public

   Organization github pages site

   HTML