Hacker News new | ask | show | jobs
by MichaelBurge 601 days ago
Anything on top of the Calculus of Constructions is usually enough. So it's not a moving target, and there are multiple implementations.