ABD Vergi Kanunu'nun Formalleştirilmesi (Lean Kullanılarak)

Matematiksel ispatlama sistemi Lean kullanılarak ABD vergi kanununun resmi ve doğrulanabilir bir şekilde modellenmesi.

Hacker News paylaşan: dnw

Hacker News paylaşım tarihi: 2026-11-14