Add theorems with interactive theorem proving results.