News for hackers. Stuff that matters.

A comment on Verisimilitude: The Structure and Interpretation of Narratives.

Re:Verisimilitude: The Structure and Interpretation of Narra... by proof_by_vibes on Wednesday March 19, 2025 @02:48PM (#43415879)
Some additional context: https://lean-lang.org/theorem_proving_in_lean4/axioms_and_co...
[ Parent | on HN ]

There are no comments on this comment yet.