[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.