6 ms·
IT = Information Technology WP = Wikipedia Lean -> https://leanprover.github.io https://leanprover.github.io
by semigroupoid 5y ago
IT = Information Technology
WP = Wikipedia
Lean -> https://leanprover.github.io https://leanprover.github.io
- darzu 5y agoHere I think IT more likely means Intuitionistic Type Theory.