4 ms·
Verisimilitude: The Structure and Interpretation of Narratives
- proof_by_vibes 2y agoSome additional context: https://lean-lang.org/theorem_proving_in_lean4/axioms_and_computation.html 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/069723c94df4f495b9ef4c32efb1a339607852e1/out/verisimilitude.pdf https://github.com/rj-calvin/verisimilitude/blob/069723c94df...