ggzor/seminarios-tla

---

ggzor/seminarios-tla.json

{
  "createdAt": "2022-10-13T22:57:07Z",
  "defaultBranch": "main",
  "description": null,
  "fullName": "ggzor/seminarios-tla",
  "homepage": null,
  "language": "TeX",
  "name": "seminarios-tla",
  "pushedAt": "2022-11-04T01:11:59Z",
  "stargazersCount": 4,
  "topics": [],
  "updatedAt": "2022-11-04T04:50:45Z",
  "url": "https://github.com/ggzor/seminarios-tla"
}

Seminarios TLA+

Este es el repositorio del seminario de TLA+ llevado a cabo de forma virtual. Organizado por la Facultad de Ciencias de la Computación, BUAP.

Vídeos

Todos los videos se encuentran disponibles en la siguiente lista de reproducción: https://youtube.com/playlist?list=PLFVd0o_XNOLnUoW8IBnVrVVcTB3jgDgqa