LiaoZhang

@LiaoZhang

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

Lean

Aeneas Verified ✓

Summary: SymCRust

Repo: https://github.com/Zhang-Liao/SymCRust-lean

LI @LiaoZhang 270 files Jul 24, 2026 ID: 5308

Per page

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

Useful Links