Hacker News new | ask | show | jobs
by BitsAndObjects 120 days ago
Side note: Formal theorem proving is even more rare than formal model checking..!