4 ms·
It can make an interesting addition to Cardano (ADA) smart-contracts platform for designing visually formally safe programs for their distributed virtual machin
by xvilka 9y ago
It can make an interesting addition to Cardano (ADA) smart-contracts platform for designing visually formally safe programs for their distributed virtual machine.