HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by nixpulvis | Hacker News Reader
Parent
Full thread
nixpulvis
·
IT? WP?
Lean?
View on HN
semigroupoid
·
IT = Information Technology
WP = Wikipedia
Lean ->
https://leanprover.github.io
darzu
·
Here I think IT more likely means Intuitionistic Type Theory.
Reply on news.ycombinator.com