ritsuryo

日本の法令の期間と税額を、条文どおりに計算すると証明された Lean 4 のコードで計算します。Lean のコードを Rust に変換して WebAssembly にしたものが、このブラウザの中だけで動きます。入力はどこにも送りません。