LINKDING
Shared bookmarks
Welcome! | The Coq Proof Assistant
https://coq.inria.fr/
Tags
#matematicas
#proof-assistant
Date added
Oct. 5, 2024, 4:27 p.m.
Description
Sistema de ayuda para la demostración de teoremas matemáticas y lógicos.
