LINKDING

Shared bookmarks

Lean Game Server

#tutorial #matematicas #proof-assistant | Juegos para aprender a usar Lean.

6 months ago | View Shared by perro
Welcome! | The Coq Proof Assistant

#matematicas #proof-assistant | Sistema de ayuda para la demostración de teoremas matemáticas y lógicos.

8 months ago | View Shared by perro
Lean FRO

#programacion #matematicas #proof-assistant | Asistente de pruebas matemáticas y lógicas, así como un lenguaje funcional de programación.

8 months ago | View Shared by perro

Shared bookmarks