Tree @
master
(
Download .tar.gz
)
..
Chris Pressey.md
History of by-topic
/
TLA(plus)
/
commentary
@
master
git clone https://git.catseye.tc/The-Glosscubator/
Rate and gloss three papers.
Chris Pressey
3 months ago
Un-rate a number of papers I've been meaning to (re)read.
Chris Pressey
4 months ago
Introduce TLA+ category, and add 1991 paper by Lamport on TLA.
Chris Pressey
4 months ago