TPOSR
Стан проєкту: НевідомоAutosubst 2 reimplementation of the paper "Pure Type System conversion is always typable"
- Досліджуване ПЗ або обладнання
- Тип роботи
- Основний публічний репозиторій
- github.com/yiyunliu/tposr
Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.
Метадані репозиторію потребують оновлення. Збережений запис залишається доступним.
Про проєкт і його завдання
Autosubst 2 reimplementation of the paper "Pure Type System conversion is always typable"
Можливість долучитися
Правила участі невідомі
- Правила використання ШІ
- Не зазначено
Системи учасників за документацією
Середовище учасника не описано
Заявлений прогрес
Прогрес не опубліковано
Вихідний код, збирання та релізи
- Відкрити репозиторій · github.comgithub.com/yiyunliu/tposr