Skip to content

proof.sty support #2

Open
Open
proof.sty support#2
Labels
enhancement

Description

@tsani
tsani
opened on Jan 17, 2016

It'd be nice if pandoc supported proof.sty, so that I could typeset deductions.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions