5 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Mirna Džamonja, Angeliki Koutsoukou-Argyraki, Lawrence C. Paulson
This is an overview of a formalisation project in the proof assistant Isabelle/HOL of a number of research results in infinitary combinatorics and set theory (more specifically in…