Lean proof of the entire US tax code to find loopholes : programming@lemmy.ml

Lean proof of the entire US tax code to find loopholes (lexifina.com)

submitted 2 days ago by yogthos@lemmy.ml to c/programming@lemmy.ml

comment fedilink hide all child comments

other discussions

Lean proof of the entire US tax code to find loopholes (lexifina.com)

submitted 2 days ago by cm0002@literature.cafe to c/programming@programming.dev

14 comments fedilink hide all child comments