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

[tlaplus] Including TLA+ in a Pandoc paper.

From: "thomas...@xxxxxxxxx" <thomasgebert@xxxxxxxxx>
Date: Tue, 24 Nov 2020 17:32:31 -0800 (PST)

Hi!

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.

Follow-Ups:
- [tlaplus] Re: Including TLA+ in a Pandoc paper.
  - From: thomas...@xxxxxxxxx

Prev by Date: Re: [tlaplus] Canonical TLA+ ... how to avoid "imperative brainwash" on KV store
Next by Date: [tlaplus] Re: Including TLA+ in a Pandoc paper.
Previous by thread: Re: [tlaplus] TLC error when choosing an arbitrary value
Next by thread: [tlaplus] Re: Including TLA+ in a Pandoc paper.
Index(es):
- Date
- Thread