1,527 followers
@AlexKontorovich Good progress! The PNT is also available in Isabelle/HOL: https://t.co/YJKxJLufRG And in HOL Light: https://t.co/MZU7WM3yup
@AlexKontorovich Good progress! The PNT is also available in Isabelle/HOL: https://t.co/YJKxJLufRG And in HOL Light: https://t.co/MZU7WM3yup