ืืื ืืืฉืืื ืืคืงืืื ladr4 ืฉื ืืชื ืืืคืขืื ืืกืคืง ืืืืจืื ืืืื ืื ืฉื OnWorks ืืืืฆืขืืช ืืืช ืืชืื ืืช ืืขืืืื ืืืงืืื ืืช ืืืจืืืืช ืฉืื ื ืืืื ื ืืืื Ubuntu Online, Fedora Online, ืืืืืืืจ ืืงืืื ืฉื Windows ืื ืืืืืืืจ ืืงืืื ืฉื MAC OS
ืชึธืึฐื ึดืืช:
ืฉืึตื
ladr4-apps - ืืืฉืืื LADR4 ืื ืืชืืขืืื
ืชืืืืจ
ืืื ืชืืื ืืืช ื ladr4-ืืคืืืงืฆืืืช ืืืืืื ืืื ืืจืืข ืืคืื ืืื ืืื. ืืชื ืืืื ืืืฉืื
ืชืืขืื ืขื ืืืง ืืืืืฉืืืื ืืืื ืืจื ื ืืืืื9 ืืืจืื, ืืฉืจ ืืืื ื
ืืขืจืืืช ืืืืื ืืจื ืืืืืื prover9-doc, at
/usr/share/doc/prover9-doc/manual/index.html. ืืืืืืคืื ืืคืขืืช ืืืคืืืงืฆืื ืขื
ืื ืืื ืขืืจื ืืคืฉืจืืช ืขืฉืืื ืืืืฆืจ ืชืืขืื. ืชืืงืื ืื ืืืืกืคืช ืืคืื ืืื ืืื ืืชืงืืื ืืืจืื, ื
ื ืืชื ืืฉืืื ืืื ืื ืืืืืื ืฉื ืืืืื, ืฉืคืจืืื ืืคืืจืืื ืืืื.
ืืฉืชืืฉ ืืืคืืืงืฆืืืช ladr4 ืืืื ืืจื ื ืืืืฆืขืืช ืฉืืจืืชื onworks.net