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

    Rocq Prover 33 12

  2. VerifiedLeapfrog VerifiedLeapfrog Public

    Formally verified numerical integration of an ordinary differential equation

    Coq 12 2

Repositories

Showing 7 of 7 repositories
  • simple_cfem Public

    A simple demo finite element code in C

    VeriNum/simple_cfem’s past year of commit activity
    Rocq Prover 0 0 0 0 Updated Mar 17, 2026
  • LAProof Public
    VeriNum/LAProof’s past year of commit activity
    Rocq Prover 8 MIT 2 3 3 Updated Mar 13, 2026
  • vcfloat Public

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

    VeriNum/vcfloat’s past year of commit activity
    Rocq Prover 33 LGPL-3.0 12 6 1 Updated Jan 9, 2026
  • iterative_methods Public

    Verified Error Analysis for Stationary Iterative Methods

    VeriNum/iterative_methods’s past year of commit activity
    Rocq Prover 5 MIT 1 0 1 Updated Nov 18, 2025
  • 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 Oct 23, 2025
  • pardotprod Public

    Parallel Dot Product, Verified in VST

    VeriNum/pardotprod’s past year of commit activity
    Coq 7 2 0 0 Updated May 20, 2025
  • VerifiedLeapfrog Public

    Formally verified numerical integration of an ordinary differential equation

    VeriNum/VerifiedLeapfrog’s past year of commit activity
    Coq 12 MIT 2 0 1 Updated Nov 3, 2023

People

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

Most used topics

Loading…