[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Including TLA+ in a Pandoc paper.


I am attempting to write an academic paper for a project which has been formally verified with TLA+. 

The paper is written in markdown with Pandoc, and for the life of me I have not been able import the TLA+ -generated.tex file into my document.

Has anyone here had any success importing their TLA+ stuff into a Pandoc paper? 
Obviously I could recreate the math within the vanilla LaTeX, but I was hoping something semi-automated.

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/f8faec7c-3545-427a-8986-a2d42d8fc6e6n%40googlegroups.com.