目录标签

#proof-assistant

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

4 条记录

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

PyPI

67良好健康指数

Lean evaluation and metaprogramming utilities for provers.

Python★ 137↓ 5,215/月2026年7月19日

MIT2026年7月19日 · 指标 2.10.0

—

65良好健康指数

Verified Software Toolchain

Rocq Prover★ 5042026年7月19日

自定义许可证2026年7月19日 · 指标 2.10.0

Maven

65良好健康指数

A proof assistant and a dependently-typed language

Java★ 3602026年7月18日

MIT2026年7月18日 · 指标 2.10.0

npm · PyPI

32存在风险健康指数

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

Haskell★ 2852026年7月28日

无许可证2026年7月28日 · 指标 2.10.0