advancedresearch/poi Issues
Add `cross` symbol
UpdatedRemove `eqb => eq`
Updated 2Add `(!= _)` symbol
UpdatedAdd `prime` symbol
UpdatedUse Avalog as context solver
UpdatedDirect 4-value logic
UpdatedAdd syntax for comments
ClosedAdd "Q.E.D." to scripts
UpdatedAdd equivalences by inlining
UpdatedAdd subgoal to REPL
ClosedInequal normal paths
UpdatedAdd `soft_max` and `soft_min`
Closed 1Add type for `item`
Closed 1Add `any` type
ClosedProof format
Updated 2Module system
Updated 1Add support for custom symbols
Closed 2Apply single rule in REPL
UpdatedBug in rule
ClosedGeneric Levenshtein
UpdatedAdd `auto lev` to REPL
ClosedAdd try again in REPL
Closed