Hacker News new | ask | show | jobs
by nextos 1708 days ago
This is not Haskell. Everything is implemented in Isabelle/HOL.