/lean-decimals

Implementation & verification of exact decimal arithmetic in Lean 4

Primary LanguageLeanBSD 2-Clause "Simplified" LicenseBSD-2-Clause

This repository is not active