Skip to content

Top New Best Ask Show Jobs

Verisimilitude: The Structure and Interpretation of Narratives | Better HN

Verisimilitude: The Structure and Interpretation of Narratives (opens in new tab)

(drive.google.com)

5 pointsproof_by_vibes1y ago1 comments

1 comments

proof_by_vibesOP1y 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...

j / k navigate · click thread line to collapse