proofweb
Стан проєкту: НевідомоThis repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
- Досліджуване ПЗ або обладнання
- Тип роботи
- Основний публічний репозиторій
- github.com/goose-alt/proofweb
Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.
Про проєкт і його завдання
This repository is dedicated to decompiling and creating a new and improved version of the proving tool ProofWeb
Можливість долучитися
Правила участі невідомі
- Правила використання ШІ
- Не зазначено
Системи учасників за документацією
Середовище учасника не описано
Заявлений прогрес
Прогрес не опубліковано
Вихідний код, збирання та релізи
- Відкрити репозиторій · github.comgithub.com/goose-alt/proofweb