Gwaith-i-Mírdain, named for the brotherhood of Jewel-smiths in Tolkien’s legendarium who created the rings of power, is our github organization for developing higher-dimensional proof assistants.

Currently the only developer is Mike Shulman, but new contributors are welcome!