Scialect — AI Proof Assistant