[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
embed PlusCal and TLA+ specs in latex papers
I would like to embed PlusCal algorithms and TLA+ specs in my paper in latex.
What is the style file I need to use for that, and where can I find it?
Thanks very much.