이것은 Ubuntu Online, Fedora Online, Windows 온라인 에뮬레이터 또는 MAC OS 온라인 에뮬레이터와 같은 여러 무료 온라인 워크스테이션 중 하나를 사용하여 OnWorks 무료 호스팅 공급자에서 실행할 수 있는 명령 idfilter입니다.
프로그램:
이름
ladr4-apps - 문서화되지 않은 LADR4 애플리케이션
기술
일부 프로그램은 ladr4 앱 패키지에는 현재 매뉴얼 페이지가 없습니다. 얻을 수 있습니다
를 통해 이러한 응용 프로그램 중 일부에 대한 문서 잠언 9 에서 사용할 수 있는 설명서
패키지를 통한 데비안 시스템 Prover9-doc,에서
/usr/share/doc/prover9-doc/manual/index.html. 또는 다음을 사용하여 응용 프로그램 호출
전에, -도움 옵션은 문서를 생성할 수 있습니다. 매뉴얼 페이지를 추가하는 패치를 환영합니다.
자세한 내용은 아래에 나열된 Debian 패키지 관리자에게 보낼 수 있습니다.
onworks.net 서비스를 사용하여 온라인에서 idfilter 사용