Verisimilitude: The Structure and Interpretation of Narratives | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Verisimilitude: The Structure and Interpretation of Narratives(drive.google.com)

5 points by proof_by_vibes 1 year ago | 1 comment

Verisimilitude: The Structure and Interpretation of Narratives | Dark Hacker News

proof_by_vibes 1 year ago |

Some additional context: https://lean-lang.org/theorem_proving_in_lean4/axioms_and_co...

Also, a github link for those who don't want to use a google account: https://github.com/rj-calvin/verisimilitude/blob/069723c94df...