am-utexas
Состояние проекта: НеизвестноReimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
- Исследуемое ПО или оборудование
- Тип работы
- Основной публичный репозиторий
- github.com/akkartik/am-utexas
Проекты отсортированы по последнему зафиксированному числу звёзд репозитория. Звёзды отражают интерес, а не готовность проекта. Отсутствующие значения остаются неизвестными.
Исходный репозиторий архивирован. Это не то же самое, что указанный статус проекта.
Метаданные репозитория требуют обновления. Сохранённая запись доступна.
О проекте и его задачах
Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
Приём стороннего участия
Правила участия неизвестны
- Правила использования ИИ
- Не указаны
Системы участников по документации
Окружение участника не описано
Заявленный прогресс
Прогресс не опубликован
Исходники, сборка и релизы
- Открыть репозиторий · github.comgithub.com/akkartik/am-utexas