gitlab.inria.fr / verifisc 1 Dépôt
Groupe du projet Catala (https://catala-lang.org)
verifisc/verifisc-python
Prototype Python d'encodage dans Z3 de diverses dispositions socio-fiscales s'appliquant aux ménages.
dernière synchronisation: il y a environ un an - étoiles: 1 - forks: 1
