HN
login
Lean 4-Intrinsic Uniqueness and Reconstruction Across Mathematical Presentationsgithub.com

Paper, Lean 4 formal reconstruction, and verification audits for Intrinsic Uniqueness and Reconstruction Across Mathematical Presentations - mripr-institute/intrinsic-uniqueness-reconstruction

1 points•alex_albert•5 days ago•0 comments•
#reconstruction#uniqueness#intrinsic#intrinsic uniqueness#lean#presentations#mathematical#across

0 comments

No comments yet.

Related stories