Katalog-Tag

#theorem-proving

Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.

5 Einträge

Getaggt als „theorem-proving“Geordnet nach Gesundheitsindex

—

80ExzellentGesundheitsindex

leanprover-community/physlib

A project to digitalise results from physics into Lean.

Lean★ 7184. Sept. 2026

Apache-2.04. Sept. 2026 · Metriken 2.10.0

PyPI

67GutGesundheitsindex

AxiomMath/axiom-lean-engine

Lean evaluation and metaprogramming utilities for provers.

Python★ 137↓ 5.215/Monat19. Juli 2026

MIT19. Juli 2026 · Metriken 2.10.0

—

60MittelGesundheitsindex

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++★ 1.3074. Aug. 2026

MIT4. Aug. 2026 · Metriken 2.10.0

npm

53MittelGesundheitsindex

SproutSeeds/erdos-problems

CLI and workspace for Paul Erdos problems.

JavaScript★ 1↓ 204/Monat19. Juli 2026

MIT19. Juli 2026 · Metriken 2.10.0

—

19KritischGesundheitsindex

leanprover/lean3

Lean Theorem Prover

C++ · Lean★ 2.15519. Juli 2026

Apache-2.019. Juli 2026 · Metriken 2.10.0