Repository

https://github.com/RedPRL/sml-redprl/

Project Slug

redprl

Last Built

5 years, 5 months ago passed

Maintainers

Home Page

http://www.redprl.org/

Badge

Tags

cubical-type-theory, nuprl, proof-assistant, type-theory

Short URLs

redprl.readthedocs.io
redprl.rtfd.io

Default Version

latest

'latest' Version

master