neural-net-coq-interp Some experiments with doing NN interpretability in Coq Associated Colab notebook