Innovating Works

FormalWeb3

Financiado
Duración del proyecto: 18 meses Fecha Inicio: 2024-01-26
Fecha Fin: 2025-07-31
Finalizado
Presupuesto del proyecto 150K€

Perfil tecnológico del proyecto Se calculan automáticamente a través de las palabras clave.
Software Data Science
Artificial Intelligence Blockchain Development Cybersecurity Web Development

Palabras clave Extraídas de toda la información encontrada de este proyecto
#Web3 #formal mathematics #computer-verified proofs #decentralized collaboration #verification tools #AI #autoformalization