https://github.com/GPflow/GPflow
Revision b52f9e7cafafa28f03f85c018fd8a13193107761 authored by Jesper Nielsen on 31 January 2022, 10:50:34 UTC, committed by GitHub on 31 January 2022, 10:50:34 UTC
1 parent f70e04d
History
Tip revision: b52f9e7cafafa28f03f85c018fd8a13193107761 authored by Jesper Nielsen on 31 January 2022, 10:50:34 UTC
Make mypy a bit more strict, and fix revealed problems. (#1766)
Tip revision: b52f9e7

back to top