トピック · proof-assistant

proof-assistant

proof-assistant がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。

リポジトリ

総スター数

17,499

平均スター数

2,187

0.00%

proof-assistant と同じリポジトリに頻繁に登場するトピック。

最近の急上昇

直近 90 日以内に作成され、proof-assistant がタグ付けされたリポジトリ。

直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。

#1
rocq ↗@rocq-proverOCaml
Rocq Proverは対話型定理証明器（証明支援ツール）。数学的定義、実行可能アルゴリズム、定理を記述するための形式言語と、機械検証された証明の半対話的開発環境を提供する。
★ 5,561+8直近 7 日のスター増減
#2
FStar ↗@FStarLangF*
証明指向プログラミング言語
★ 3,103-1直近 7 日のスター増減
#3
agda ↗@agdaHaskell
Agda は依存型プログラミング言語および対話型定理証明系です
★ 2,922+3直近 7 日のスター増減
#4
YC-Killer ↗@sahibzada-allahyarTypeScript
人工知能の民主化を目的とし、過大評価されたY Combinatorのスタートアップに対する無料のオープンソース代替を提供する、エンタープライズグレードのAIエージェントライブラリ。
★ 2,806+14直近 7 日のスター増減
#5
plfa.github.io ↗@plfaAgda
Agda によるプログラミング言語理論の入門
★ 1,514+1直近 7 日のスター増減
#6
PG ↗@ProofGeneralEmacs Lisp
このリポジトリは Proof General の新しいホームです。
★ 558+0直近 7 日のスター増減
#7
jscoq ↗@jscoqTypeScript
Coq の JavaScript への移植 — ブラウザで Coq を実行
★ 547+0直近 7 日のスター増減
#8
VST ↗@PrincetonUniversityRocq Prover
検証済みソフトウェアツールチェーン
★ 508+0直近 7 日のスター増減