3 ms·
IT? WP? Lean?
by nixpulvis 5y ago
IT? WP?
Lean?
- semigroupoid 5y agoIT = 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.