HN Explorer

maiavictor

↗ HN profile [ 21.2 ms ] full profile
Karma
49
Created
August 24, 2018 (7y ago)
Submissions
0
  1. Towards a simple theorem prover (medium.com)
    5 points 0
  2. Formality is now able to fuse native datatypes (goodbye ugly λ-encodings) (reddit.com)
    3 points 0
  3. Formality – An efficient programming language and proof assistant (github.com)
    102 points 23
  4. Show HN: Abstract Calculus, a massively parallel model of computation (github.com)
    5 points 0
  5. Show HN: The Abstract Calculus, the language of optimal λ-reductions (medium.com)
    3 points 0