Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
thys
Deep_Learning
DL_Deep_Model.thy
Find file
Blame
History
Permalink
restructured matrix-library to use syntactic +,-,... classes, more uniform lemma-names
· b6b0c1b49d0e
Rene Thiemann
authored
Aug 31, 2017
b6b0c1b49d0e