SnO₂WMaNさんとpalalansoukîさんがやっているFormalized Formal Logic · GitHub というとても興味深いプロジェクトがありまして、去年ZFCを形式化しようとしていたのが目に止まったらしく、ZF集合論関係のことをできないかと言われたあと仕事＋プライベート…