gradle

dgelessus authored May 7, 2018

Very basic kernel, only supports evaluation of Classical B expressions
and nothing else.

a448bfa7

Code owners

Assign users and groups as approvers for specific file changes. Learn more.

Name	Last commit	Last update
..
wrapper