Lean – Theorem Prover 4 years ago
Not necessarily. Lean allows for axiom of choice.
marcus_
Posts0
Comments2
No posts found.
HN user
Not necessarily. Lean allows for axiom of choice.
Michael Sipser's Introduction to the Theory of Computation. Teaches you formal languages, decidability and complexity theory in a very rigorous way with little prerequisites.