marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

View project on GitHub

  • 2020-10-02 21:52:56 UTC - Planned check