Why is dependent type theory more suitable than set theory for proof assistants?mathoverflow.net 221pgustafs5y59 comments
Show HN: Toy Haskell blockchain with variable hash functions for ASIC resistancegithub.com/PaulGustafson 15pgustafs5y7 comments