William Whistler
161
reputation
1
7
Independent researcher interested in exact counting complexity, proof assistants and (semi-)automated theorem proving.