Español
Sign in
AI tools
Chat
Top Qs
Línea de tiempo
Loading AI tools
Todo
Artículos
Diccionario
Citas
Mapa
File:Agda proof.jpg
De Wikipedia, la enciclopedia libre
Found in articles
Archivo:Agda proof.jpg
Description
Agda
proof
.
jpg
Agda
2 is a
proof
assistant developed at the Chalmers institute of technology. This is a shot of an ongoing
proof
related to