am-utexas
Estado del proyecto: DesconocidoReimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
- Software o hardware objeto del proyecto
- Tipo de trabajo
- Repositorio público principal
- github.com/akkartik/am-utexas
Los proyectos se ordenan por el último número de estrellas registrado. Las estrellas indican interés, no progreso. Los recuentos no disponibles se muestran como desconocidos.
El repositorio del proyecto está archivado. Esto es independiente del estado comunicado del proyecto.
Los metadatos del repositorio necesitan actualizarse. La ficha almacenada sigue disponible.
Descripción y alcance
Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
Admisión de colaboraciones
Política de colaboración desconocida
- Política de contribuciones asistidas por IA
- Sin especificar
Sistemas documentados para colaborar
Entorno de colaboración sin documentar
Progreso comunicado
No se ha comunicado el progreso
Código fuente, compilaciones y versiones
- Abrir repositorio · github.comgithub.com/akkartik/am-utexas