Anonymouse? has contributed to 1080 nLab pages.
| Kirti Joshi | 21:55:42, November 17 2025 |
| propositional type theory | 01:12:34, May 17 2025 |
| type of finite types | 17:23:31, May 15 2025 |
| type of booleans | 17:22:07, May 15 2025 |
| type of propositions | 17:20:35, May 15 2025 |
| record type | 15:48:23, May 15 2025 |
| type of booleans | 00:47:09, May 15 2025 |
| boolean domain | 22:39:25, May 14 2025 |
| type of finite types | 23:24:35, May 13 2025 |
| type of propositions | 23:23:59, May 13 2025 |
| type of propositions | 22:02:59, May 13 2025 |
| PROP | 21:56:37, May 13 2025 |
| impredicative polymorphism | 11:17:08, May 13 2025 |
| polymorphic dependent type theory | 11:16:27, May 13 2025 |
| record type | 01:27:17, May 13 2025 |
| type of propositions | 01:23:56, May 13 2025 |
| type universe | 01:20:11, May 13 2025 |
| Russell universe | 00:46:15, May 13 2025 |
| polymorphic dependent type theory | 22:26:04, May 12 2025 |
| type of propositions | 22:25:24, May 12 2025 |
| polymorphic dependent type theory | 21:53:33, May 12 2025 |
| impredicative polymorphism | 19:56:18, May 12 2025 |
| Tarski universe | 19:41:54, May 12 2025 |
| polymorphic dependent type theory | 19:40:39, May 12 2025 |
| type theoretic axiom of replacement | 19:40:04, May 12 2025 |
| uniqueness of identity proofs | 19:10:55, May 12 2025 |
| excluded middle | 19:00:16, May 12 2025 |
| countable choice | 18:55:06, May 12 2025 |
| nice topological space | 21:50:41, April 14 2025 |
| fan theorem | 21:43:51, April 14 2025 |