Abstract: Results are reported here of a rather successful attempt of proving all theorems, totalling near 400, of Principia Mathematica which are strictly in the realm of logic, viz., the restricted ...

Archived as of Sep 4th, 2025: A new implementation with a more recent version of DuckDB can be found in this repo. We integrate Robust Predicate Transfer into DuckDB, when you finish installing DuckDB ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

This is the LaTeX editable source of the book Metamath: A Computer Language for Pure Mathematics, also known as the Metamath book. This book provides an in-depth understanding of the Metamath language ...