Đây là bộ lọc lệnh có thể được chạy trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks bằng cách sử dụng một trong nhiều máy trạm trực tuyến miễn phí của chúng tôi, chẳng hạn như Ubuntu Online, Fedora Online, trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MAC OS
CHƯƠNG TRÌNH:
TÊN
ladr4-apps - ứng dụng LADR4 không có giấy tờ
MÔ TẢ
Một số chương trình trong ladr4-ứng dụng gói hiện tại không có trang hướng dẫn sử dụng. Bạn có thể lấy
tài liệu về một số ứng dụng này thông qua tục ngữ9 hướng dẫn sử dụng, có sẵn trên
Hệ thống Debian qua gói Ngôn ngữ 9-doc, tại
/usr/share/doc/prover9-doc/manual/index.html. Hoặc gọi ứng dụng bằng
các -Cứu giúp tùy chọn có thể tạo ra tài liệu. Các bản vá để thêm các trang thủ công được hoan nghênh và
có thể được gửi đến người bảo trì gói Debian, người có chi tiết được liệt kê bên dưới.
Sử dụng idfilter trực tuyến bằng các dịch vụ onworks.net
