Hacker News Reader

Feels like maybe this is retreading ground covered by Why3ML, but perhaps I’m missing something.

Presumably this is aimed at people that want to take advantage of it in Lean.