Michael Fishman

The existing Newcomb's paradox tutorial sorts decisions by decision name when finding the best decision, rather than sorting by the value of the decision. This fixes that. However, the AI...

Type annotations

2

## Description Type annotations Changed State to a typed NamedTuple Split off from #67 ## Tests ~~Once #68 is merged, I'll rebase this branch and run the tests.~~ Ran unit...

Support subtraction in preconditions in domains.

11

**Is your feature request related to a problem? Please describe.** The DomainParser cannot seem to handle `(- (function_name object_name) 1)` as part of a precondition. Here is an example domain...

Error "unknown identifier 'hp'" in chapter 3 "Propositions and Proofs" when using `variable (hp: p)`

4

# Description Lean gives the error "unknown identifier 'hp'" when I put [this example code](https://leanprover.github.io/theorem_proving_in_lean4/propositions_and_proofs.html#working-with-propositions-as-types) into an otherwise empty file: ```lean variable {p q : Prop} variable (hp : p)...