1 search result for "tag:"date:2026-09-25""

Showing 1 - 1
  1. rocq-laproof

    No documentation

    LAProof: a library of formal proofs of accuracy and correctness for linear algebra programs
    date:2026-09-25 logpath:LAProof
    Ariel E. Kellison Andrew W. Appel Mohit Tekriwal David Bindel
    2.0.1
    MIT
    Used by 0 other packages
    29 Sep 2026