a World of Rocq

Rocq is a general-purpose, industrial-strength interactive theorem prover.

翻訳待ち

開発ツールOCaml · Rocq ProverGitHub @rocq-prover接続状況の再確認が必要です所有者未確認

プロジェクトを見る GitHub

Have you tried it? One tap is enough. No sign-in needed.

接続状況: 再確認が必要; 30日間の稼働率 100%
コードの最終更新: 11月13日; 更新中のリポジトリ
最新バージョン: V9.3.0; Rocq 9.3.0 · 9月19日
貢献者: 312; フォーク 772
ライセンス: GitHub auto-detection
nomorevibe への掲載日: 11月1日; リポジトリ作成 2011年2月

Languages

OCaml 72.9%
Rocq Prover 23.1%
Shell 1.4%
TeX and others 2.6%

Updates10 updates

All

9月19日Rocq 9.3.0GitHub release ↗
7月22日Rocq 9.3+rc1GitHub release ↗
3月27日Rocq 9.2.0GitHub release ↗

Comments

Newest first

···

GitHub issue delivery settings

Checking sign-in status.

Loading comments.

情報

Operator: @rocq-prover ↗GitHub repository owner
Website: rocq-prover.org ↗
Repository: rocq-prover/rocq ↗公開 · 更新中
Site and repository: Repository links to this site
Category: 開発ツール
利用方法: Website
Technology stack: OCaml
Information refreshed: 11月13日GitHub

Do you operate this project?

Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.

Organization repository · verify with a repository file

Sign in, generate a verification file, and commit it to this repository’s default branch within 30 minutes. Files on other branches or forks do not count. Then check the file below to manage the project without administrator approval. Keep the file to retain your access.

If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.

Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.

Verify in one minute

Ask about other verification options

Request an introduction correction or removal

Do you operate this project?

Owners of public repositories under a personal GitHub account can sign in to verify ownership and manage the introduction themselves. No administrator approval is needed.

Organization repository · verify with a repository file

If needed, you will go to sign-in. After signing in, return here and press your chosen verification button again.

Run /nomorevibe verify in your project folder to verify ownership and manage the introduction yourself.

Verify in one minute

Request an introduction correction or removal

a World of Rocq

Languages

Updates10 updates

Comments

a World of Rocq

Languages

Updates10 updates

Comments

Introduction

README

README

README

a World of Rocq

Languages

Updates10 updates

Comments

Trending in 開発ツール

a World of Rocq

Languages

Updates10 updates

Comments

Trending in 開発ツール

Introduction

README

README

README