nhuck

@nhuck.bsky.social

1145 Followers 3808 Following

bit shuffler and theorem prover