Lean proof of the entire US tax code to find loopholes

lexifina.com

Lean proof of the entire US tax code to find loopholes

lexifina.com

☆ Yσɠƚԋσʂ ☆@lemmy.ml to General Programming Discussion@lemmy.mlEnglish · 3 days ago

Formalizing the US tax code | Lexifina

lexifina.com

Identifying novel loopholes in the tax code via formal search.

You must log in or register to comment.

Chat

General Programming Discussion@lemmy.ml

programming@lemmy.ml

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: [email protected]

A general programming discussion community.

Rules:

Be civil.
Please start discussions that spark conversation

Other communities

Systems

Functional Programming

Also related

[email protected]

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

18 users / day
18 users / week
66 users / month
297 users / 6 months
1 local subscriber
10.1K subscribers
715 Posts
536 Comments
Modlog