TomR

Member for 6 years, 2 months

Reputation

1,341

1.3k
1k
747

2018
2019
2020
2021

Top tag

programming-languages

Next privilege

2,000 Rep.

Edit questions and answers

Badges

Newest

Yearling

Next badge

0/1

Impact

0 posts edited

0 helpful flags

146 votes cast

1,341 Reputation

Post Time Graph

Jun 15

+10	09:46	upvote	Framework or tools to generate theorem prover/solver/reasoner for new logic
+2	15:40	accept	Framework or tools to generate theorem prover/solver/reasoner for new logic

May 2

+10	14:18	upvote	How to translate automatons (Turing machines) into programs of high level programming language?
+10	14:18	upvote	How to translate automatons (Turing machines) into programs of high level programming language?

-10

Feb 26

-10

15:45

removed

User was removed (learn more)

Jan 13

Sep 15 '20

Aug 21 '20

Aug 15 '20

Aug 14 '20

Jul 12 '20

Apr 16 '20

Feb 27 '20

Dec 21 '19

Dec 9 '19

Nov 4 '19

Oct 28 '19

Oct 27 '19

Oct 22 '19

Oct 21 '19

Oct 16 '19

Oct 11 '19

Oct 7 '19

Sep 11 '19

Jul 18 '19

Jul 14 '19

Jun 18 '19

Jun 16 '19

Jun 9 '19

-30

May 25 '19

May 22 '19

May 15 '19

2 3 4 Next

Stack Exchange Network

current community

your communities

more stack exchange communities

Next privilege

Next badge

1,341 Reputation