Separation Logic with Characteristic Formulae Entirely within Coq

ProVerif symbolic protocol verifier

Hierarchical Pattern-aided Regression

Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.

Informations partagées pour le groupe de réflexion Science Environnement Société de Grenoble Rhône-Alpes

Core part of the ADT project ICOV. All the source code in this project are meant to be shared publicly

Gitlab for the course Fundamental Principles of Machine Learning (FPML) in the CS Masters (M1 year), in the track Artificial Intelligence of the Paris Saclay University

🐸

A Python Framework for Metaheuristics

python client for sharelatex and a tool to manage a project between git and the web UI.