Verisimilitude: The Structure and Interpretation of Narrativesdrive.google.com 5 pointsproof_by_vibes1 year ago1 commentSaveHideCopy link On HNComments−proof_by_vibesOP1ySome 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...
Comments
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...