lacramioara.astefanoaei

@lacramioara.astefanoaei

1 repository

Filter by Clear all

Certified

Featured

Initial

Submitted

Processing

Approved

Rejected

Dafny

Lean

Rust

Verus

Aeneas

Rocq

Isabelle

Metamath

RefinedC

Python

Kani

Algorithms

Blockchain

Privacy

Security

Math

Showing 1–1 of 1

Sort by

Rust

Verus

Summary: libsignal focus on dalek_lite

Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite

Per page

The open-source library for formally verified code. Building trust through mathematical proof.

Useful Links