Mentions légales du service

Skip to content

Basic RAC for why3execute

Benedikt Becker requested 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