lemmster Joined on March 4, 2020

lemmster's recordings

TLA+ REPL - Load custom modules 0:55

by lemmster

untitled 5:20

by lemmster

Debug TLAPS proof manager with ocamldebug on Ubuntu Linux 18.04 2:39

by lemmster