Comment by usamoi

I've never heard of SPARK. What advantages does it have compared to Lean?