Succinct proofs and linear algebra [pdf]angeris.github.io2 points·LolWolf··0 commentsOpen articleSaveView on HN