テクノロジー

税法を定理証明支援系 Lean で書いて、プロダクト実装を「全入力で」確かめる - freee Developers Hub
2026/11/04 15:32 コメント 2件
1: petite_blue 2026/11/06 09:44

Leanを使って税法のソフトウェアを検証する。定理証明支援系の理想的な使い方。

2: toaruR 2026/11/06 10:39

すげぇ、逆に法律の矛盾が沸き上がってきたりせんのかな(*´д｀*) 今までのやり方全部間違ってましたとかも見つかりそう