Lean4 Assert Command

A simple assertion command for Lean4