Title: Formalizing Theorems in Mathematics and Theories in Science and Engineering Abstract: Lean is an interactive theorem prover for writing and verifying mathematical proofs with...

Title: Optimal Tests for Combining p-Values Abstract: Combining information (e.g., p-values) obtained from individual studies to test whether there is an overall effect is an important task in...