Skip to content

@VeriNum VeriNum

Change the repository type filter

All

    Repositories list

    7 repositories

    • LAProof

      Public
      Coq
      •
      MIT License
      •1•6•4•3•Updated Oct 17, 2024Oct 17, 2024

    • vcfloat

      Public
      VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
      Coq
      •
      GNU Lesser General Public License v3.0
      •11•23•4•0•Updated Jul 28, 2024Jul 28, 2024

    • iterative_methods

      Public
      Verified Error Analysis for Stationary Iterative Methods
      Coq
      •
      MIT License
      •0•3•0•1•Updated Jun 18, 2024Jun 18, 2024

    • VeriNum.github.io

      Public
      Source for the verinum.org web site
      HTML
      •0•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • double-double

      Public
      A Formally Verified Library of Double-Word Arithmetic
      Coq
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jan 2, 2024Jan 2, 2024

    • VerifiedLeapfrog

      Public
      Formally verified numerical integration of an ordinary differential equation
      Coq
      •
      MIT License
      •1•10•0•1•Updated Nov 3, 2023Nov 3, 2023

    • pardotprod

      Public
      Parallel Dot Product, Verified in VST
      Coq
      •1•5•0•0•Updated Sep 1, 2023Sep 1, 2023