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
/
View File Name :
gene-logic.tlpobj
name gene-logic category Package revision 15878 shortdesc Typeset logic formulae, etc longdesc The package provides a facility to typeset certain logic longdesc formulae. It provides an environment like eqnarray, a longdesc newtheorem-like environment (NewTheorem), and several macros. containersize 2004 containerchecksum b7cdc0d653aa8e25d763ca4115fa6fc857ddae35ed835aee6b6a204ba83d01ab91928b00248c40677ba132ef113276912a6b85dfd456d937114a3263a1ef4c7f doccontainersize 66856 doccontainerchecksum db358777af18e7d2e93dc23084bec0f47270b4cb6c6078382a1eb9ce288aed06a6f55fc30ce728b1312d06f871458fc6b5b697b1073316e8f727b5ee80f99468 runfiles size=2 texmf-dist/tex/latex/gene-logic/gn-logic14.sty catalogue-ctan /macros/latex/contrib/gene/logic catalogue-license other-free catalogue-topics maths catalogue-version 1.4