DecompHub

TPOSR

Stato del progetto: Sconosciuto

Autosubst 2 reimplementation of the paper "Pure Type System conversion is always typable"

Software o hardware oggetto del progetto
Unknown
Tipo di lavoro
Ricostruzione del codice sorgente
Repository pubblico principale
github.com/yiyunliu/tposr
GitHub
1Stelle su GitHub

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

I metadati del repository devono essere aggiornati. La scheda memorizzata resta disponibile.

Descrizione e ambito

Autosubst 2 reimplementation of the paper "Pure Type System conversion is always typable"

Disponibilità ad accettare contributi

Regole sui contributi sconosciute

Regole sui contributi assistiti dall'IA
Non specificato

Sistemi documentati per contribuire

Ambiente di contribuzione non documentato

Avanzamento dichiarato

Avanzamento non dichiarato

Fonti, compilazione e release