Skip to content
@VeriNum

VeriNum

Formally Verified Numerical Methods

Pinned Loading

  1. vcfloat vcfloat Public

    VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

    Coq 24 11

  2. VerifiedLeapfrog VerifiedLeapfrog Public

    Formally verified numerical integration of an ordinary differential equation

    Coq 10 1

Repositories

Showing 7 of 7 repositories
  • iterative_methods Public

    Verified Error Analysis for Stationary Iterative Methods

    VeriNum/iterative_methods’s past year of commit activity
    Coq 3 MIT 0 0 1 Updated Dec 13, 2024
  • LAProof Public
    VeriNum/LAProof’s past year of commit activity
    Coq 7 MIT 1 4 3 Updated Oct 17, 2024
  • vcfloat Public

    VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations

    VeriNum/vcfloat’s past year of commit activity
    Coq 24 LGPL-3.0 11 4 0 Updated Jul 28, 2024
  • VeriNum.github.io Public

    Source for the verinum.org web site

    VeriNum/VeriNum.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 1, 2024
  • double-double Public

    A Formally Verified Library of Double-Word Arithmetic

    VeriNum/double-double’s past year of commit activity
    Coq 0 GPL-3.0 0 0 0 Updated Jan 2, 2024
  • VerifiedLeapfrog Public

    Formally verified numerical integration of an ordinary differential equation

    VeriNum/VerifiedLeapfrog’s past year of commit activity
    Coq 10 MIT 1 0 1 Updated Nov 3, 2023
  • pardotprod Public

    Parallel Dot Product, Verified in VST

    VeriNum/pardotprod’s past year of commit activity
    Coq 5 1 0 0 Updated Sep 1, 2023

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…