Follow

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:
framabin.org/p/?aa69e6894c06e1

Sign in to participate in the conversation
Functional Café

functional.cafe is an instance for people interested in functional programming and languages.