Hacker News new | ask | show | jobs
user: maiavictor
created: 2018-08-23
karma: 49

submissions:

Towards a simple theorem prover
5 points | 0 comments
Formality is now able to fuse native datatypes (goodbye ugly λ-encodings)
3 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Formality – An efficient programming language and proof assistant
102 points | 23 comments
Show HN: Abstract Calculus, a massively parallel model of computation
5 points | 0 comments
Show HN: The Abstract Calculus, the language of optimal λ-reductions
3 points | 0 comments