Deducteam/B-in-Dedukti

Implementation of the mathematical theory of the B method in Dedukti