Katalog-Tag

#formal-mathematics

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.

2 Einträge

Getaggt als „formal-mathematics“Geordnet nach Gesundheitsindex

npm

91ExzellentGesundheitsindex

google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

Lean★ 1.25711. Sept. 2026

Apache-2.011. Sept. 2026 · Metriken 2.10.0

—

62MittelGesundheitsindex

lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

C++★ 1.32216. Sept. 2026

MIT16. Sept. 2026 · Metriken 2.10.0