221 followers
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle https://t.co/xjLeY1mg5r
Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle https://t.co/xjLeY1mg5r
https://t.co/jOsCLHCAot Isabelle/HOL による Hilbert の形式化に関する論文。面白い😆