Skip to content

@VeriNum VeriNum

Change the repository type filter

All

    Repositories list

    7 repositories

    • LAProof

      Public
      Rocq Prover
      •
      MIT License
      •2•9•3•3•Updated Apr 28, 2026Apr 28, 2026

    • simple_cfem

      Public
      A simple demo finite element code in C
      Rocq Prover
      •0•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • vcfloat

      Public
      VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
      Rocq Prover
      •
      GNU Lesser General Public License v3.0
      •12•34•5•1•Updated Apr 6, 2026Apr 6, 2026

    • pardotprod

      Public
      Parallel Dot Product, Verified in VST
      Rocq Prover
      •2•7•0•0•Updated Apr 6, 2026Apr 6, 2026

    • iterative_methods

      Public
      Verified Error Analysis for Stationary Iterative Methods
      Rocq Prover
      •
      MIT License
      •1•5•0•1•Updated Nov 18, 2025Nov 18, 2025

    • VeriNum.github.io

      Public
      Source for the verinum.org web site
      HTML
      •0•0•0•0•Updated Oct 23, 2025Oct 23, 2025

    • VerifiedLeapfrog

      Public
      Formally verified numerical integration of an ordinary differential equation
      Coq
      •
      MIT License
      •2•12•0•1•Updated Nov 3, 2023Nov 3, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.