mastodon — Lobsters — 12 Sep 2026
Is truth futureproof? On the possible futures of mechanized proofs https:// lobste.rs/s/cmgzlj # pdf # math # plt https:…
#proof-assistants #formal-verification #mathematical-logic
Is truth futureproof? On the possible futures of mechanized proofs https:// lobste.rs/s/cmgzlj # pdf # math # plt https:// khoury.northeastern.edu/~cmart ens/papers/plateau26-itfp.pdf