101010.pl: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.5
HOL Light from the foundations. ~ John Harrison. https://itp-school-2023.github.io/slides/slides_jrh_part1.pdf #ITP #HOL_Light
Theorem provers within theorem provers (Experiments with modal logic in HOL Light). ~ Cosimo Perini Brogi. https://itp-school-2023.github.io/slides/slides_brogi.pdf #ITP #HOL_Light #Logic #Math
Papers with computer-checked proofs. ~ Daniel J. Bernstein (@hashbreaker). https://cr.yp.to/papers/pwccp-20230906.pdf #ITP #HOL_Light #Math #CompSci
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLogin