search

conengine / SA_is_GA

A formal proof of "GA = SA"
MIT License
1 stars 0 forks source link

dfa #31

Open conengine opened 7 years ago

conengine commented 7 years ago

┆Issue is synchronized with this Trello card

conengine commented 7 years ago

➤ Satoru "Con" Takasimizu commented:

1