I was wondering what were the fundamental differences between Coq and Lean and if they operated on the same kind of logic and found this [1]. I barely understa

I was wondering what were the fundamental differences between Coq and Lean and if they operated on the same kind of logic and found this [1]. I barely understand anything from that discussion and don't practice any of them. Feel free to chime in if you have something about this, or a comparison with other proof assistants. [1] https://proofassistants.stackexchange.com/questions/153/what-are-the-main-differences-between-coq-and-lean https://proofassistants.stackexchange.com/questions/153/what...