ResearchDatasetsPrincipia MathematicaPrincipia MathematicaFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsAutomated Theorem ProvingPrincipia Mathematica 23 Theorems Chapter 2 (All)—Primary metric0