Repository

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

Project Slug

redprl

Last Built

1 year, 11 months ago passed

Maintainers

Home Page

http://www.redprl.org/

Badge

Tags

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

Short URLs

redprl.readthedocs.io
redprl.rtfd.io

Default Version

latest

'latest' Version

master