이것은 ProofOS라는 이름의 Linux 앱으로, 최신 릴리스는 proofos-all-0.1.tgz로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks와 함께 ProofOS라는 이 앱을 무료로 다운로드하여 온라인으로 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
프루프OS
Ad
기술
이 프로젝트는 사람들이 실행하는 소프트웨어를 얻는 방법의 변화와 소프트웨어의 정적 분석의 발전을 기반으로 컴퓨터 시스템 설계를 다시 구상하는 방법을 탐구하는 프로토타입 시스템을 개발하는 것을 목표로 합니다.
오디언스 (Audience)
개발자, 정보 기술, 과학/연구
프로그래밍 언어
어셈블리, C, OCaml(Objective Caml)
카테고리
https://sourceforge.net/projects/proofos/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.
