Revision history of "Video/A gentle intro to TLA+"

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 14:01, 11 June 2022‎ Benkoo talk contribs‎ 444 bytes +444‎ Created page with "{{cite book |editor=Giacomo Citi |editor-link=Giacomo Citi |date=Apr 6, 2020 |title=A gentle intro to TLA+ |url=https://www.youtube.com/watch?v=D_sh1nnX3zY |location=V..."
Retrieved from "https://pkc.pub/wiki/Video/A_gentle_intro_to_TLA%2B"