linkding

Engineering Mathematics K.A. Stroud with Dexter J. Booth - Home

#en-linea #libro #matematicas | Sitio de los libros de matemáticas de Stroud, incluye ejercicios en línea.

2 months ago | View Shared by perro

#acceso-abierto #matematicas #logica | Aprendizaje de lógica matemática para no matemáticos.

3 months ago | View Shared by perro

Practical Foundations of Mathematics

#acceso-abierto #libro #matematicas | Libro sobre fundamento de las matemáticas.

3 months ago | View Shared by perro

Linear Algebra Done Right

#abierto #libro #matematicas | Libro en acceso abierto sobre álgebra lineal.

3 months ago | View Shared by perro

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

LINKDING