coq_makefile - Trực tuyến trên đám mây

Chạy coq_makefile trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks trên 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

Đây là lệnh coq_makefile có thể 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 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ạy trong Ubuntu Chạy trong Fedora Chạy trong Windows Sim Chạy trong MACOS Sim

CHƯƠNG TRÌNH:

TÊN

coq_makefile - Trình tạo tệp tạo tệp tin Coq Proof Assistant

SYNOPSIS

coq_makefile [ đối số ]

MÔ TẢ

coq_makefile là một trình tạo makefile cho các phát triển bằng chứng Coq.

LỰA CHỌN

-h Sẽ cung cấp cho bạn một mô tả về toàn bộ danh sách các tùy chọn của coq_makefile.

Sử dụng coq_makefile trực tuyến bằng các dịch vụ onworks.net

Máy chủ & Máy trạm miễn phí

1

Hệ điều hành cơ bản

Máy chủ Ubuntu

Chạy máy chủ
2

Kubuntu

Máy chủ Ubuntu

Chạy máy chủ
3

Ubuntu 20

Máy chủ Ubuntu

Chạy máy chủ
Khác »

Tải xuống ứng dụng Windows & Linux

1

Quản lý PAC

PAC là sự thay thế Perl / GTK cho
SecureCRT/Putty/vv (linux
ssh/telnet/... gui)... Nó cung cấp một GUI
để định cấu hình kết nối: người dùng,
mật khẩu, quy định EXPECT...

Tải xuống Trình quản lý PAC
2

GeoServer

GeoServer là một phần mềm mã nguồn mở
máy chủ được viết bằng Java cho phép người dùng
để chia sẻ và chỉnh sửa dữ liệu không gian địa lý.
Được thiết kế cho khả năng tương tác, nó
xuất bản da ...

Tải xuống GeoServer
3

con đom đóm III

Tài chính cá nhân mã nguồn mở và miễn phí
giám đốc. Firefly III có một
hệ thống kế toán kép. Bạn có thể
nhanh chóng nhập và tổ chức của bạn
giao dịch tôi ...

Tải xuống Firefly III
4

Phần mở rộng Apache OpenOffice

Danh mục chính thức của Apache
Tiện ích mở rộng OpenOffice. Bạn sẽ tìm ra
các phần mở rộng khác nhau, từ từ điển đến
công cụ để nhập tệp PDF và kết nối
với máy lẻ ...

Tải xuống tiện ích mở rộng Apache OpenOffice
5

bọ ngựaBT

Mantis là một trang web có thể triển khai dễ dàng
dựa trên trình kiểm soát lỗi để hỗ trợ lỗi sản phẩm
theo dõi. Nó yêu cầu PHP, MySQL và
máy chủ web. Kiểm tra bản demo của chúng tôi và được lưu trữ
phạm tội ...

Tải xuống MantisBT
6

Sứ giả mạng LAN

LAN Messenger là một ứng dụng trò chuyện p2p
cho giao tiếp mạng nội bộ và không
yêu cầu một máy chủ. Nhiều loại tiện dụng
các tính năng được hỗ trợ bao gồm
thông báo ...

Tải xuống LAN Messenger
Khác »

Lệnh Linux

1

tuân thủ

abidw - tuần tự hóa ABI của ELF
file abidw đọc thư viện dùng chung trong ELF
định dạng và phát ra một biểu diễn XML
ABI của nó thành đầu ra tiêu chuẩn. Các
phát ra...

Chạy tiếp tục
2

khả năng

abilint - xác thực một ABI abigail
đại diện abilint phân tích cú pháp bản địa
Biểu diễn XML của ABI khi được phát ra
bởi abidw. Khi nó đã phân tích cú pháp XML
trả lại ...

chạy abilint
3

coresendmsg

coresendmsg - gửi tin nhắn API CORE
đến daemon lõi-daemon ...

Chạy coresendmsg
4

core_server

core_server - Máy chủ chính cho
Thư rácBayes. MÔ TẢ: Hiện đang phục vụ
chỉ giao diện web. Cắm vào
người nghe cho các giao thức khác nhau là TBD.
Điều này ...

Chạy core_server
5

fwflash

fwflash - chương trình flash tập tin hình ảnh
với một thiết bị NXT được kết nối ...

Chạy fwflash
6

fwts-sưu tầm

fwts-collect - thu thập nhật ký cho fwts
báo cáo lỗi. ...

Chạy fwts-collect
Khác »

OnWorks là nhà cung cấp dịch vụ lưu trữ VPS trực tuyến miễn phí cung cấp các dịch vụ đám mây như máy trạm miễn phí, AntiVirus trực tuyến, proxy bảo mật VPN miễn phí, email cá nhân và doanh nghiệp miễn phí. VPS miễn phí của chúng tôi có thể dựa trên CentOS, Fedora, Ubuntu và Debian. Một số trong số chúng được tùy chỉnh để giống như Windows trực tuyến hoặc MacOS trực tuyến.

Cung cấp bởi T3 Framework