Hacker News new | ask | show | jobs
by permeakra 2501 days ago
> if you ever find yourself interested in TLA+

Unlikely. Though I might be interested in HOL Isabelle eventually.