The first paragraph mentions it's using Hyperledger's Fabric[1] blockchain implementation. I assume they're building their own smart contracts on top of that.
The hyperledger equivalent of ethereum's smart contracts is called chaincode. I'm playing around with it now - so far enjoying it much more than smart contracts.