Tags

raisin

avocat

Compiler for the French Tax Code

abstract interpretation

dynamic programming languages

internship

python

static analysis

coq

floating point