tegmark

@tegmark

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

Dafny

Summary: Dafny bignums, 20250612, 1109

TE @tegmark 2,124 lines Jun 8, 2026 ID: 2932

Per page

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

Useful Links