David Barros Hulak

The Mostowski Collapse Theorem

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

Andrew's Monotone Chain Convex Hull Algorithm

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

Alon’s Combinatorial Nullstellensatz

by Arthur Freitas Ramos, Ruy Jose Guerra Barretto de Queiroz and David Barros Hulak

Nash Equilibria for Finite Games in Isabelle/HOL

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

The Banach–Tarski Paradox in Isabelle/HOL

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

Aho-Corasick String Matching

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz

Nagata Factoriality

by Arthur Freitas Ramos, David Barros Hulak and Ruy Jose Guerra Barretto de Queiroz