marcoheisig /restricted-functions

Reasoning about functions with restricted argument types.

View project on GitHub

  • 2020-07-16 22:06:32 UTC - Planned check