Repository Issues

ldct/leancert

Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked

Auf GitHub ansehen
Stars
 (0 Sterne)
Forks
 (0 Forks)
Indexierte Issues
 (0 indexierte Issues)
offene Einsteiger-Issues
 (0 offene Einsteiger-Issues)
Zuletzt indexiert
21.08.2026
Letzter GitHub Push
07.07.2026
Lizenz
Apache License 2.0
Contributing Guide
Kein Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
Lean
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
Keine Einsteiger-Labels indexiert

Issues

0 offene indexierte Issues

Für dieses Repository wurden keine offenen indexierten Issues gefunden.