Post #4209748

@bremner@mathstodon.xyz ah, got it-- I was wondering about Csmith documentation. yes, there are a few C-Reduce pages that I should find and move to github. it's not much...