Verisimilitude: The Structure and Interpretation of Narratives (drive.google.com) 5 points by proof_by_vibes 1y ago ↗ HN
[–] proof_by_vibes 1y 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...
1 comment
[ 40.4 ms ] story [ 92.4 ms ] threadAlso, a github link for those who don't want to use a google account: https://github.com/rj-calvin/verisimilitude/blob/069723c94df...