DecompHub

TPOSR

Project status: Unknown

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

Target software or hardware
Unknown
Work type
Source reconstruction
Primary public repository
github.com/yiyunliu/tposr
GitHub
1GitHub stars

Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.

Repository metadata needs refreshing. The cached listing remains available.

About and scope

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

Contribution availability

Contribution policy unknown

AI-assisted contribution policy
Unspecified

Documented contributor systems

Contributor setup not documented

Reported progress

Progress not reported

Sources, builds and releases