Hacker News new | ask | show | jobs
by semigroupoid 1816 days ago
IT = Information Technology

WP = Wikipedia

Lean -> https://leanprover.github.io
1 comments
darzu 1816 days ago
Here I think IT more likely means Intuitionistic Type Theory.
link