certora/specs/*.spec linguist-language=Solidity
certora/specs/*.conf linguist-detectable
certora/specs/*.conf linguist-language=JSON5
