3 ms·
You don't happen to be working on cryptocurrencies do you? I'm surprised to hear of Agda being used in production.
by dwohnitmok 7y ago
You don't happen to be working on cryptocurrencies do you? I'm surprised to hear of Agda being used in production.
- im_down_w_otp 7y agoWe don't work on cryptocurrencies. Right now we work on automated testing & verification tools for "cyber-physical systems". Our target markets & customers often have safety-critical considerations. We use Agda to create proofs for some of the components of our platform.