目录标签

#proof-assistant

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

7 条记录

标签为“proof-assistant”按健康指数排序

—

81优秀健康指数

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Scala★ 4072026年10月19日

Apache-2.02026年10月19日 · 指标 2.10.0

PyPI

73良好健康指数

Lean evaluation and metaprogramming utilities for provers.

Python★ 155↓ 3,421/月2026年9月11日

MIT2026年9月11日 · 指标 2.10.0

—

65良好健康指数

Verified Software Toolchain

Rocq Prover★ 5082026年9月11日

自定义许可证2026年9月11日 · 指标 2.10.0

PyPI

65良好健康指数

Interactive Coq Proofs in Vim

Python · Vim Script★ 3272026年9月19日

MIT2026年9月19日 · 指标 2.10.0

Maven

59中等健康指数

A proof assistant and a dependently-typed language

Java★ 3632026年9月11日

MIT2026年9月11日 · 指标 2.10.0

—

56中等健康指数

(Mirror) A Machine-to-Machine Interaction System for Lean 4

Lean★ 812026年9月20日

Apache-2.02026年9月20日 · 指标 2.10.0

npm · PyPI

32存在风险健康指数

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell★ 2932026年9月14日

无许可证2026年9月14日 · 指标 2.10.0