Hacker News new | ask | show | jobs
by igornotarobot 174 days ago
Litex is probably closer to TLA+ than to Lean. Both draw inspiration from untyped set theory and LaTeX.