feat(nat/kernel)
Added le lt and a bunch of theorems
Some theorems still need a proof and are currently and axiom. nat_ind currently only compiles with the standard kernel, not the kernel in this folder
feat(nat): Add le/lt
feat(nat): use new kernel
change proofs to be compatible with the kenrel in this library, and prove some more theorems
chore(makefile): use -n and compile in right order
chore(makefile/list): fix makefile and convert list to use nat
chore(library/standard): fix permission
chore(Makefile): add and use extract_deps in Makefile
chore(library/standard/extract_dep): add EXCEPT to specify deps which do not need compilation
fix(library/standard/equality_test): add "import kernel"
fix(library/standard/list): use nat instead of Nat
fix(library/standard/extract_deps): took out sed
doc(README.md): add travis-ci badge
test commit