Jay Jay

Reputation

Top tag

formal-languages

75 Rep.

Set bounties

Supporter

6/10

0 posts edited

0 helpful flags

4 votes cast

Sep 27 '20

08:52

May 31 '20

+10

22:11

upvote

Feb 28 '20

+2	08:40	accept	Algorithm for automatic construction of natural deduction proofs
+2	08:31	accept	CFG for $L=\{ \omega \in \{ a,b,c,d \}^* : \|\omega\|_a = \|\omega\|_b \}$

Feb 16 '20

Jun 22 '19

-10

Apr 20 '17

Apr 1 '17