Verisimilitude: The Structure and Interpretation of Narratives - Hackdot

Verisimilitude: The Structure and Interpretation of Narratives

Posted by proof_by_vibes on Wednesday March 19, 2025 @01:07PM
from the drive.google.com dept.

https://drive.google.com/file/d/1YbNBRkU9QtWfFGOasj0_v1kHl1lVbQcQ/view?usp=sharing

( 1 comment | 5 points | on HN )

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 ]