Decimal arithmetic, currency formatting, time-value-of-money, and payment-card helpers for Gleam.
-
Updated
Sep 29, 2026 - Gleam
#
bankers-rounding
Here are 3 public repositories matching this topic...
Prove a function in Lean 4, call it from C#. lean2il re-checks every proof with Tenet, an independent Lean kernel, compiles the kernel terms to .NET IL, and writes the docs from the Lean. With a VS Code extension.
finance csharp compiler dotnet theorem-proving proof-assistant type-theory intellisense decimal vscode-extension lean cil rounding formal-verification tenet reflection-emit lean4 bankers-rounding verified-software leanviz
-
Updated
Sep 27, 2026 - C#
Add this topic to your repo
To associate your repository with the bankers-rounding topic, visit your repo's landing page and select "manage topics."