4 ms·
Litex is probably closer to TLA+ than to Lean. Both draw inspiration from untyped set theory and LaTeX.
by igornotarobot 9mo ago
Litex is probably closer to TLA+ than to Lean. Both draw inspiration from untyped set theory and LaTeX.
loading thread…