Interesting and useful use of formal methods: formal study of the French tax code's implementation

It's an upcoming seminar at Inria Paris. Details:

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!