Comment Comment by whatsakandr Not to be confused with https://github.com/tsoding/NoqWhich got it's name from 'Not Coq' parent whatsakandr 7 months ago
Which got it's name from 'Not Coq'