Jeremiah Orians 01658364e5 Upgraded to 16/24 working tests		2019-02-28 20:52:01 -05:00
..
.gitignore	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
cleanup.sh	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
hello.sh	Upgraded to 16/24 working tests	2019-02-28 20:52:01 -05:00
proof.answer	Upgraded to 14/24 working tests	2019-02-26 18:04:49 -05:00