Y
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