Show HN: Wiki-like edit for Lean 4 project Physlib Digitalized physics — results and proofs from the Physlib library 2 points by leanexplorer 84 days ago jstoobysmith.github.io 0 comments Summary not yet generated for this article. Comments (0 of ) ⌛ Loading more comments... ⌛ Scroll down to load more comments No comments available.
Comments (0 of ) ⌛