Hacker News new | ask | show | jobs
by creata 1610 days ago
> a proof development system, aka dependently typed programming language.

There are proof assistants without dependent types, like Isabelle/HOL.