1 search result for "tag:"logpath:LAProof""

Showing 1 - 1
  1. rocq-laproof

    No documentation

    LAProof: a library of formal proofs of accuracy and correctness for linear algebra programs
    date:2025-05-11 logpath:LAProof
    Ariel E. Kellison Andrew W. Appel Mohit Tekriwal David Bindel
    2.0
    MIT
    Used by 0 other packages
    12 May 2026