top | item 46383715 (no title) igornotarobot | 2 months ago Litex is probably closer to TLA+ than to Lean. Both draw inspiration from untyped set theory and LaTeX. discuss order hn newest No comments yet.
No comments yet.