Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with nuprl
A curated list of projects in awesome lists tagged with nuprl .
https://github.com/RedPRL/sml-redprl
The People's Refinement Logic
cubical-type-theory nuprl proof-assistant type-theory
Last synced: 20 Aug 2024