Skip to content
GitLab
Explore
Sign in
Register
isa-afp
afp-2019
Repository
afp-2019
thys
Deep_Learning
DL_Shallow_Model.thy
Find file
Blame
History
Permalink
removed redundant theorem (and theory file) + fixed a few paths + tuning
· 40e1a8cb60a3
blanchet
authored
Dec 09, 2016
40e1a8cb60a3