3 ms·
It was written in tandem with a prover and is generally very nice to use to develop compilers and analysers. The biggest company using it does algorithmic tradi
by WastingMyTime89 5y ago
It was written in tandem with a prover and is generally very nice to use to develop compilers and analysers. The biggest company using it does algorithmic trading with it.