Comment by igornotarobot

Litex is probably closer to TLA+ than to Lean. Both draw inspiration from untyped set theory and LaTeX.