Hacker News

User

davemp

Registered:2 years ago
Karma:1380
About:

Learning to prove ideas to Coq is possibly the most effective way to show that forcing strangers to deconstruct propositions for you is quite rude.

——

email: hn-at-dmpfeiffer-dot-com

embedded software, FPGAs, programming languages, etc.