Skip to content
@gwaithimirdain

Gwaith-i-Mírdain

Popular repositories Loading

  1. narya narya Public

    A proof assistant for higher-dimensional type theory

    OCaml 225 18

  2. anor anor Public

    Experimental library for Narya

    Common Lisp 11

  3. olorin olorin Public

    A graphical proof game for predicate logic

    JavaScript 1

Repositories

Showing 3 of 3 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…