ParentFull threadlogical_proof·This is actually quite a fascinating note. Thank you for sharing. Is there an eta on the book?View on HN