GitHub repository: DecorativePineapple/echidna-workshop
Primary language: Solidity
Description: Contract that includes the assertions for the echidna workshop. Works with the ABDKMath64x64 library