Definitions

1. noun

A mathematical statement or proof that is almost complete or nearly rigorous, but may lack a few details to make it fully rigorous.

“The mathematician was able to provide a semiproof for the complex theorem, but it needed further refinement before it could be considered a full proof.”