mripr-institute/intrinsic-uniqueness-reconstruction

Paper, Lean 4 formal reconstruction, and verification audits for Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations

1 best points · 0 comments · 1 Hacker News post · 3 GitHub stars · View on GitHub

Hacker News discussions