Commit Graph

60 Commits

Author SHA1 Message Date
e9eb0de557
Delete states.o 2018-04-06 21:48:01 +02:00
8ddb79ebe8
Delete states.h 2018-04-06 21:47:55 +02:00
4ac1a5fc83
Delete states.c 2018-04-06 21:47:48 +02:00
6db4ffe651
Delete main.c 2018-04-06 21:47:39 +02:00
d9aac04a32
Delete main 2018-04-06 21:47:31 +02:00
ea4cb0f813
Add files via upload 2018-04-06 21:47:03 +02:00
d9a591433f
Rename const.h to initial_divisor/const.h 2018-04-06 21:45:56 +02:00
fbd9e82e76
Add files via upload
First rough version of the is_not_divisor TM, which nonetheless works
2018-04-06 21:41:31 +02:00
3b469336b5
Update README.md 2018-04-06 21:35:59 +02:00
a2c678f830
Create README.md 2018-04-06 07:28:40 +02:00