目录标签

#proof-assistant

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

3 条记录

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

PyPI

60中等健康指数

Lean evaluation and metaprogramming utilities for provers.

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

MIT2026年7月19日 · 指标 1.13.0

—

60中等健康指数

Verified Software Toolchain

Rocq Prover★ 5042026年7月19日

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

Maven

59中等健康指数

A proof assistant and a dependently-typed language

Java★ 3602026年7月18日

MIT2026年7月18日 · 指标 1.13.0