kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/print/tex-lkproof-doc/DESCR

2 lines
31 B
Text
Raw Normal View History

Initial import tex-lkproof{,-doc}-3.1 The package defines a pair of commands \infer and \deduce, that are used in constructing LK proof diagrams.
2015-04-22 00:16:33 +02:00
Documentation for tex-lkproof.
Reference in a new issue Copy permalink