HN Explorer

munro

↗ HN profile [ 74.0 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Proof terms in Idris (dafoster.net)
    1 points 0