/B-in-Dedukti

Implementation of the mathematical theory of the B method in Dedukti

B in Dedukti

Implementation of the mathematical theory of the B method in Dedukti