José A. Alonso · @Jose_A_Alonso
865 followers · 1874 posts · Server mathstodon.xyzPapers with computer-checked proofs. ~ Daniel J. Bernstein (@hashbreaker). https://cr.yp.to/papers/pwccp-20230906.pdf #ITP #HOL_Light #Math #CompSci
#compsci #math #hol_light #itp
Last updated 2 years ago
José A. Alonso · @Jose_A_Alonso
862 followers · 1841 posts · Server mathstodon.xyzMechanising Gödel–Löb provability logic in HOL Light. ~ Marco Maggesi, Cosimo Perini Brogi. https://www.researchgate.net/publication/373491652_Mechanising_Godel-Lob_Provability_Logic_in_HOL_Light #ITP #HOL_Light #Logic
Last updated 2 years ago