proof-assistant
Repositorios de código abierto monitorizados etiquetados con proof-assistant, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a proof-assistant en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con proof-assistant.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
The Rocq Prover es un demostrador de teoremas interactivo o asistente de pruebas. Proporciona un lenguaje formal para escribir definiciones matemáticas, algoritmos ejecutables y teoremas, junto con un entorno para el desarrollo semiinteractivo de pruebas verificadas por máquina.
★ 5562+4Variación de estrellas de los últimos 7 días - #2★ 3103+4Variación de estrellas de los últimos 7 días
- #3
Agda es un lenguaje de programación con tipos dependientes / probador interactivo de teoremas.
★ 2922+3Variación de estrellas de los últimos 7 días - #4
Una biblioteca de agentes de IA de nivel empresarial diseñada para democratizar la inteligencia artificial y ofrecer alternativas gratuitas y de código abierto a las startups sobrevaloradas de Y Combinator.
★ 2806+7Variación de estrellas de los últimos 7 días - #5
Una introducción a la teoría de lenguajes de programación en Agda
★ 1514+0Variación de estrellas de los últimos 7 días - #6★ 558+2Variación de estrellas de los últimos 7 días
- #7★ 547+0Variación de estrellas de los últimos 7 días
- #8★ 508+1Variación de estrellas de los últimos 7 días
