Mentions légales du service

Skip to content

Basic RAC for why3execute

Benedikt Beckerrequested to merge
why3-execute-start-rac into master

Use the reduction engine to compute terms in assertions and function contracts

Edited by Benedikt Becker

Merge request reports