84
Lean proof of the entire US tax code to find loopholes (lexifina.com)
submitted 1 day ago by to c/programming@programming.dev
14 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] 0 points 8 hours ago (1 child)

So what formal language do you think would be more appropriate than Lean for this purpose?

  • permalink
  • fedilink
  • source
  • parent
  • hideshow 1 child comment
    •