[Tainnor]

Sequent calculus is way older than Lean or any similar such language. It's a bit like saying "this looks like Haskell" when reading about the Lambda Calculus.