fix links

Author: marcofavorito

bookshelf.tsv

@@ -237,7 +237,7 @@ The Feynman's lectures on Physics	http://www.feynmanlectures.caltech.edu/	textbo
 Proof, Logic, and Conjecture - The Mathematician's Toolbox	http://www.columbia.edu/~vml2113/Teachers%20College,%20Columbia%20University/Academic%20Year%202011-2012/Spring%202012/MSTM%206051%20-%20Advanced%20Topics%20in%20Nature%20of%20Proofs/Proof,%20Logic,%20and%20Conjecture%20-%20The%20Mathematician%27s%20Toolbox.pdf	textbooks	mathematics													
 Mathematical Logic for Computer Science	https://sites.google.com/a/di.uniroma1.it/logicaperinformatica2016/	websites	logic	mathematics	computer-science											
 A Problem Course in Mathematical Logic	https://ia601001.us.archive.org/34/items/flooved3492/flooved3492.pdf	textbooks	logic	mathematics												
-Metamath A Computer Language for Pure Mathematics	http://us.metamath.org/downloads/metamath.pdf	textbooks	 computer-programming	mathematics												
+Metamath A Computer Language for Pure Mathematics	http://us.metamath.org/downloads/metamath.pdf	textbooks	computer-programming	mathematics												
 The Foundations of Mathematics	https://www.math.wisc.edu/~miller/old/m771-10/kunen770.pdf	textbooks	mathematics	foundations-of-mathematics												
 The Mathematical Continuum: From Intuition to Logic	https://www.di.ens.fr/users/longo/files/PhilosophyAndCognition/the-continuum.pdf	papers	mathematics	logic												
 Probabilistic algorithm for testing primality	http://www.mat.uniroma2.it/~pasquale/dida/references/rabin1980probabilistic.pdf	papers	algorithms	mathematics	number-theory	primality-testing										
@@ -709,4 +709,5 @@ Emergence of Scaling in Random Networks	https://arxiv.org/pdf/cond-mat/9910332.p
 PRIMES is in P	https://www.cse.iitk.ac.in/users/manindra/algebra/primality_v6.pdf	papers	algorithms	mathematics	computer-science											
 Computation: finite and infinite machines	https://dl.acm.org/citation.cfm?id=1095587	textbooks	computer-science													
 Flow Diagrams, Turing Machines And Languages With Only Two Formation Rules	papers	computer-science	computer-programming													
-On the Number of Linear Regions of Deep Neural Networks	papers	deep-learning	neural-networks													
+On the Number of Linear Regions of Deep Neural Networks	https://papers.nips.cc/paper/5422-on-the-number-of-linear-regions-of-deep-neural-networks.pdf	papers	deep-learning	neural-networks												
+Flow diagrams, turing machines and languages with only two formation rules	http://www.cs.unibo.it/~martini/PP/bohm-jac.pdf	papers	computer-science	computer-programming												

scripts/check_format.py

@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 
 import fileinput
 
@@ -7,5 +7,5 @@
    l = line.strip().split("\t")
    size = 17 
    l = l + [""]*(size - len(l))
-   print("\t".join(l))
+   print("\t".join(map(lambda x: x.strip(), l)))